結局ABC予想は日本では正しいの？
ABC予想から導かれる系を使って別の命題を証明したらどうなるん？
海外数学コミュニティーでは日本国内に入国した瞬間から出国するまでの間は
正しくなるってジョークがあるみたいだが
議論のある竹島ではABC予想なのかそれともABC定理なのか？