[lemma 7[11].png]