theorem
deg(FAdj(F,{sqrt(DC p)}),F) = 2 by dega;
