theorem :: FIELD_10:28

Discriminant X^2+X+1 = - 3