Lemma 9.13