>>439
そういうテクニックがあるのは知りませんでした

しかし、話がズレてると思いますよ

この人は、考えられる証明方法全て尽くさないと証明にはならないのではないか、という疑問を述べているのですからね