Lemma 7.13