lemma	s