Synset
proof of a mathematical theorem
<noun.communication>
mathematical proof
semantic pointers
hypernym
proof