The proof of a mathematical theorem is a logical argument for the theorem statement given in accord with the rules of a deductive system.
The proof of a mathematical theorem is a logical argument for the theorem statement. This theorem statement is given in accord with the rules of a deductive system.