背理法不要論ってどうなん? @ [数学板]