>472
>> (3)のxに任意の有理数を代入すると、yは、有理数となる。
> ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

この部分の論理展開が不完全です。

なぜ、論理展開が不完全ということになるのでしょうか？