>281
>x^2+y^2=z^2は解(s,t,s+√3)を持たない
x^3+y^3=z^3は解(s,t,s+√3)を持たない

「(s,t,s+√3)成立するならば、」です。
実際は、成立しません。