Transformed Definition Of A Theorem