>775
「z=x+r」「r^(p-1)=p」という仮定を追加すると
x^p+y^p=z^pの解x,y,z全てが有理数になることはない。

なぜ、証明にならないのでしょうか？
「z=x+r」「r^(p-1)=p」は、仮定ではありません。