Lemma7.5.14