Lemma 10.15