>>222
フェルマーの最終定理が正しくない ならば (2)はあるx,yで成り立つ (よって(2)は成立たない は正しくない)
フェルマーの最終定理の成否が不明 ならば (2)が成り立つかどうか不明 (よって(2)は成立たない は成否が不明)

この部分がどうしても、わかりません。