theorem mmm: :: FIELD_10:71

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