>>195
> よって、(2)は成立たない。

(y-1)=nのときxが無理数である場合
フェルマーの最終定理が正しい ならば (2)は成り立たない (よって(2)は成立たない は正しい)
フェルマーの最終定理が正しくない ならば (2)はあるx,yで成り立つ (よって(2)は成立たない は正しくない)
フェルマーの最終定理の成否が不明 ならば (2)が成り立つかどうか不明 (よって(2)は成立たない は成否が不明)

であるので

(y-1)=nのときxが無理数であるから(2)が成り立たないと証明に書いたら フェルマーの最終定理が正しい を使っていることになります
(y-1)=nのときxが無理数であるから(2)はあるx,yで成り立つと証明に書いたら フェルマーの最終定理が正しくない を使っていることになります