>568
>r^(p-1)=p を証明できてないので証明失敗ということです.

r^(p-1)=pは、r^(p-1)=apの、aが、1の場合です。