Comment out an unused lemma