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