Delete old lemmata.
Continue proofs ...