"400481419"^^ . "0"^^ . "trivially"@en-us . "0.125"^^ . . . . "trivially"^^ . . . . "400486605"@en-us . "400475570"@en-us . "00481419-r"^^ . "with little effort; \"we can prove trivially that this theorem is false\""@en-us .