Lemma 9.19