Lemma8.6.1