Lemma 8.18