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