theorem :: FIELD_9:47

( X^2+X+1 = (X- alpha) *' (X- (alpha ")) & (X- alpha) *' (X- (alpha ")) = (X- alpha) *' (X- alpha-1) ) by lemZ2, lemalph;