Obtain Definition Of A Theorem