[lemma134.png]