[lemma 4[8].png]