Remove superfluous lemma