remove unused lemmas