>370
そうですね。r^(p-1)=pでないときは、r^(p-1)=apとなり、rは、有理数となり、3つの有理数s,t,uが存在しないことが証明されていません。

rが、有理数の場合の、x,yは(3)のときのx,yのa^{1/(p-1)}倍となります。

>s,t,uを共通の無理数で割って、…

o,p,qは、整数比となります。