theorem :: FIELD_10:42

Roots X^2+X+1 = {} ;