:: deftheorem defines -quadratic FIELD_9:def 26 :
for F being Field
for E being FieldExtension of F holds
( E is F -quadratic iff deg (E,F) = 2 );