theorem grad4: :: FIELD_10:78

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