theorem lemZ2min: :: FIELD_9:50

MinPoly (alpha,(Z/ 2)) = X^2+X+1