thm_check_new

thm_check_new

\n =