>>594
> aは、0を除く適当な数です。

> 614
> r=(ap)^{1/(p-1)}となるのでrは有理数となる。

p が奇素数、a が 0 以外の適当な数で (ap)^{1/(p-1)} が有理数になることは別途証明が必要ですね。
  #証明できるとは思いませんが。