Further reworked proof of Lemma 6.5.4