theorem lemX3a: :: FIELD_10:50

X^2+X+1 = (X- zeta) * (X- (zeta ^2))