set a = the non square Element of F;
take FAdj (F,{(sqrt the non square Element of F)}) ; :: thesis: FAdj (F,{(sqrt the non square Element of F)}) is F -quadratic
thus FAdj (F,{(sqrt the non square Element of F)}) is F -quadratic by dega; :: thesis: verum