8.1.3.2_b)_と対比してください。