trace thm