>>55
＊証明の正しさを主張するために
フェルマーの最終定理を使ってはいけない

使っていません。

＊xが有理数にならないことを使ってはいけない

結論として、使っています。

＊反例がないことを使ってはいけない

反例があるならば、と言っています。