theorem :: FIELD_10:63

not X^3-2 splits_in F_Rat