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

＞314
156 = x^3+(3/2)x^2+x に有理数解がないので、(y-1)=k4のとき、
(y^3+y^2+y+1)=(x^3+(3/2)x^2+x)/kとならない。