>195
r^(p-1)=pのとき以外を調べていないので証明は間違い。

r^(p-1)=pのとき以外は、r^(p-1)=apとなります。