t^3 - t = (t+a)^3 -(t+a) and 3*t^2 + 1 = 3*(t+a)^2 +1