Delete mytheorems.sty~