>『r^(p-1)=pのとき』もしくは『r^(p-1)=apのとき』
だよね。
であれば『r^(p-1)=apのとき』も証明してくれないか

『r^(p-1)=pのとき』も、『r^(p-1)=apのとき』もx,y,zの比は同じとなります。