>>543
> (2)は(y-1)=3のとき、(4^2+4+1)=(x^2+x)とならない。
> よって、(y-1)(y^2+y+1)=k3(x^2+x)/kも成立たない。
この2行はフェルマーの最終定理です (フェルマーの最終定理が正しくないとき(y-1)(y^2+y+1)=k3(x^2+x)/kは成立するので)