theorem :: FIELD_10:49

not X^2+X+1 splits_in F_Real