Cor 3.12からABC予想が従うことは認められてるんでしょ
要はIUTでCor 3.12を示せるかどうかということ
てか、ここで誰かがIUTでCor3.12を示して見せたとして、モッチーの「ホラ、俺の言った通りじゃん！」はアリなの？？？
その場合、ABC予想が"望月-その誰か定理"になるか、最悪、"その誰か定理"になっちゃうんじゃないの？