reserve
F for non 2-characteristic non quadratic_complete polynomial_disjoint Field;

theorem
for a being non square Element of F holds deg(FAdj(F,{sqrt a}),F) = 2 by dega;
