だからなんでabc予想解くのにモデル圏なんか大げさなもの必要なのよ？
そのあたり必然性がまったく見えてこんでしょ大風呂敷広げるだけで