removed duplicate lemma