theorem :: FIELD_10:68

Roots (F_Complex,X^3-2) = {3-Root(2),(3-Root(2) * zeta),(3-Root(2) * (zeta ^2))} by lemroots;