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