theorem :: FIELD_10:57

F_Complex is not SplittingField of X^2+X+1