theorem mmmz: :: FIELD_10:76

MinPoly (zeta,(FAdj (F_Rat,{2-CRoot(2)}))) = X^2+X+1