Simplify the proof of 2.2.5-2.