added lemma