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

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