thm statt thr als abkürzung für Theorem.