Lemma 6.21