最短フェルマーの最終定理の証明

＞８８０
でも証明は合っていますよね。

> y = x^2 - x は有理数解を持たない。
の証明になっていません。