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