>>505
>コンピュータの計算では、矛盾は生じないが、論文では矛盾が生じることを証明している。

単にコンピュータの計算と論文の計算が違う証しではないでしょうかｗ