>>814
背理法だと、仮定が成立しないということになるのではないのかということで
ずっともめてきたと考えられますが?