theorem :: FIELD_10:69

X^3-2 = ((X- 3-CRoot(2)) * (X- (3-CRoot(2) * zeta))) * (X- (3-CRoot(2) * (zeta ^2)))