theorem mmmza: :: FIELD_10:77

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