theorem :: FIELD_10:54

deg ((FAdj (F_Rat,{zeta})),F_Rat) = 2 by minpzeta, LL, FIELD_6:67;