Reworked proof of Lemma 6.5.4.