>r^(p-1)=pは自明ではないので証明してってことだと思うぞ

r^(p-1)=pは自明ではありませんが、
両辺が、積の形なので、r^(p-1)=pとなります。