>>931
間違いでない理由の証明？
それは悪魔の証明というんだよ

それに、山下論文で使ったソフトは万能、全知全能の神ではないんだから、
細かい部分で見ると精度の荒さは当然あるだろう
それはどのソフトで検証しても一緒