theorem :: FIELD_10:47

not X^3-1 splits_in F_Real