expanded the proof of 2.1.13