reserve
F for non 2-characteristic non quadratic_complete polynomial_disjoint Field;
reserve
p for non DC-square quadratic Element of the carrier of Polynom-Ring F;

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