Move a theorem