theorem lemZ2roots: :: FIELD_9:48

Roots ((FAdj ((Z/ 2),{alpha})),X^2+X+1) = {alpha,alpha-1}