>539
xが有理数のときz(=r+p^{1/(p-1)})は無理数となる。z が有理数のとき、zは無理数となる
ならば自明だけどね。

どういう意味でしょうか?