theorem :: FIELD_10:39

F_Real is not SplittingField of X^2-2