Remove unneeded lemma