remove three unused lemmas