Fix a typo in the proof of 2.4.
Update the proof of 3.5.