lemma added