Lemma by