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

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

y = 2,x=3のとき、有理数解を持ちます。
なので、間違いです。