x^3 = 2)