theorem minpolzeta: :: FIELD_10:59

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