theorem :: FIELD_10:34

not X^2-2 splits_in F_Rat