x^3= x + 1