[lemma s 1[6].png]