>31
命題(A)の末尾は「また(3)の有理数解となる」なので、(3)式に合致しないといけません。
>>28の例でいくと、こうなります。

s^p+t^p=(s+p^{1/(p-1)})^p…(3)

こうは、ならないと思います。(3)は、成り立ちません。