Delete theorems and definitions