[lemma 16[5].png]