for F being non 2 -characteristic polynomial_disjoint non quadratic_complete Field
for E being FieldExtension of F holds
( E is F -quadratic iff ex a being non square Element of F st E, FAdj (F,{(sqrt a)}) are_isomorphic_over F )