theorem :: FIELD_10:40

F_Complex is not SplittingField of X^2-2