delete some now unused commented out broken theorems
move various theorems back into more appropriate places