Word
mathematical proof, n.
proof of a mathematical theorem
<noun.communication>
mathematical proof
semantic pointers
hypernym
proof