theorem Fi3a: :: FIELD_9:58

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