[Lemma 17[5].png]