theorem minpzeta: :: FIELD_10:43

MinPoly (zeta,F_Rat) = X^2+X+1