フェルマーの最終定理が正しいならば、
(y-1)=3のとき(4^2+4+1)=(x^2+x)とならない。