[Lemma 1[3].png]