theorem :: FIELD_10:80

F_Complex is not SplittingField of X^3-2