二項展開によるフェルマーの最終定理の証明

>624
> 「(3)のrが有理数の場合」という意味です。
(3)はr^(p-1)=pの場合なんだろが。そのrが有理数ということは、p=2の場合ということか？

pは奇素数です。
(4)の場合ということです。