[Lemma 11[4].png]