>603

よって、06行目、x^n+y^n=z^nは自然数解を持たないとは言えません。

(4)はx,y,zが有理数の場合は、成立しません。