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