>391
> この時点では、(2)が成り立つかどうかは、わかりません。
式の成否は不明ですから十分ではありません

(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(4^2+4+1)=(x^2+x)とならない。

これで、(2)が成立たないことがわかります。