theorem Fi2a: :: FIELD_9:57

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