フェルマーの最終定理
モジュラー性定理とフェルマーの最終定理への応用.