theorem mml: :: FIELD_10:72

deg ((FAdj (F_Rat,{3-CRoot(2),zeta})),(FAdj (F_Rat,{3-CRoot(2)}))) = 2