>3
従って，n>=3のときは，整数比の無理数解が存在しないことを示さないと，整数解の存在を否定できません。

(4)のx,yが共に有理数とならないので、
s^n+t^n=(s+1)^nは、存在しません。