theorem :: FIELD_10:44

Roots (F_Complex,X^3-1) = {1,zeta,(zeta ^2)} by lemroots3;