7.3
Lemma