Inter-universal geometry とABC 予想54

[0980 １３２人目の素数さん 2024/04/14(日) 00:10:14.78 ID:bFy8ioVv]

>>0977
違っていたら、ごめんなさいだけど、
IUT-�Vのcor.3.12を使ってIUT-�WでABC予想の不等式をつくるのだとして、
望月の素点pでABC予想の不等式を検証するのは、IUT-�Vのcor.3.12でなくて、
IUT-�Wで確かめるのかもしれない、と思いました。