Lemma 12.9