>>896
うーむ、すみません、背理法は学生時代から苦手でした。