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

>873
私の >>871 のどこが違っているというのですか？

y = x^2 - x は有理数解を持たない。です。