i71413 Concept proof of a mathematical theorem Status active Source Princeton WordNet 3.0 – 06647864-n