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

>389
> (1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
あなたはこの時点で(2)が成り立たないとして証明しているのですね？

この時点では、(2)が成り立つかどうかは、わかりません。