7.8
Lemma