>>450
Cor3.12からABC予想やその強化版が証明できることは誰も疑っていない
肝心なのはCor3.12が定理か否か

残念ながら望月によるCor3.12の証明は認められていない