theorem grad6: :: FIELD_10:74

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