[Lemma 9[6].png]