>289
>存在するかしないかを証明しているのならわかるが
すでに証明された存在しないことを用いて存在しないと言うのは
証明ではない

証明のどの部分ののことでしょうか？