Felix was asked whether the following equation is an identity:
(x^2-1)^2=(x^2-1)+(2x)^2