>>925-926

u が有理数になることを証明しないといけないのに、
最後の
> s^n+t^n=u^nが成立するかを、判定するには、x,y,zを有理数として判定すれば良い。
で z（つまりu） を勝手に有理数と決めているので、駄目ですね。