
theorem minpolzeta:
MinPoly(3-Root(2),F_Rat) = X^3-2 by LL2,FIELD_6:52;
