. . "106237912"@en-us . . . "104985310"@en-us . "106647864"^^ . "0"^^ . "0.125"^^ . . . "06647864-n"^^ . . . . "proof of a mathematical theorem"@en-us . . "mathematical proof"^^ . "mathematical proof"@en-us .