theorem :: FIELD_10:65

not X^3-2 splits_in FAdj (F_Rat,{3-Root(2)})