フェルマーの最終定理の簡単な証明その２

>45
しかし証明にはr^(p-1)=pもr^(p-1)=apも成り立たない時のことが書いてない

必要でしょうか？

証明には、持つと、書いているので、持たない場合もあります。