[Lemma 10[3].png]