>>454
世界中の数学者に検算を依頼して、やっぱダメでしたーって結果だったのでは?