[Lemma 11[5].png]