[lemma 5[3].png]