もし、IUTの記載を全部すっ飛ばして
Cor3.12を「望月の不等式」として提示した上で
そこからABC予想が導ける、という論文を書いた
としても十分査読は通ったと思う
(有意義な予想の提示だから)

ただ、それではABC予想を解決したことにならない
望月氏はどうしてもABC予想を解決したといいたかったんでしょう