>135
> 【定理】p=2のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数となる。
つまり「p=2のとき、x^p+y^p=z^pの解x,y,zは『すべて』0以外の有理数となる。」だ。

「p=2のとき、x^p+y^p=z^pには、0以外の有理数解x,y,zが存在する。」
では、どうでしょうか。