cor->thm