>91
①　p=2のとき、x^p+y^p=z^pの解であるすべてのx,y,zについて、x,y,zは0以外の有理数となる。
②　p=2のとき、x^p+y^p=z^pの解であるx,y,zのなかに、0以外の有理数となる物が存在する。

のどちらの書き方でもないから、定理として間違っている。

よくわかりません。