remove old theorem equivalence