>>185
> フェルマーの最終定理の成否を変えたら成否が変わるようなことは証明では使えません
>
> よく意味が分からないので、解り易いように説明していただけないでしょうか。

(y-1)=3のときxが無理数であることは正しいですが
フェルマーの最終定理が正しい場合: よって(2)は成立たない は正しい
フェルマーの最終定理が正しくない場合: よって(2)は成立たない は正しくない
フェルマーの最終定理の成否が不明の場合: よって(2)は成立たない は成否が不明

とわかりやすく書いてあります