(n)mathematical proofproof of a mathematical theorem