theorem :: FIELD_10:58

F_Complex is not SplittingField of X^3-1