theorem :: FIELD_10:46

not X^3-1 splits_in F_Rat