theorem :: FIELD_10:48

not X^2+X+1 splits_in F_Rat