>653
(1)はxが有理数の時y,zは無理数となる。
∴x^p+y^p=z^p は、有理数解を持たない。

なぜ、これが不完全のでしょうか？