Lemma 12.6