mathematical proof

noun

1.
proof of a mathematical theorem