remove unused lemma