>>134
ABCからはフェルマーの最終定理は出なかったはず。前知人から聞いた話では、望月さんの証明(ただしければだけど)から十分大きなnについてはフェルマーの最終定理が成り立つ事がわかるらしいが、どれくらい大きければよいかは計算不可能らしい。