Lemma 9.8.2