theorem z24: :: FIELD_9:42

Roots X^2+X+1 = {}