theorem :: FIELD_10:67

not X^3-2 splits_in F_Real