for F being non 2 -characteristic polynomial_disjoint non quadratic_complete Field
for a being non square Element of F holds FAdj (F,{(sqrt a)}) is SplittingField of X^2- a