>445
>>436の証明では、
2.r^(p-1)=pのときで、
 a.xを有理数とするとき
の証明が書いてあります。

あっていますか?

はい。