theorem :: FIELD_9:55

for F being non 2 -characteristic polynomial_disjoint non quadratic_complete Field
for a being non square Element of F holds deg ((FAdj (F,{(sqrt a)})),F) = 2 by dega;