でもそれは望月理論が（クンマーがそうだったように）部分的にでもabc予想を証明したことを世界が認めたときだろうよ
まだ、そこに至っていないことが問題なんだと思うが・・・