:: deftheorem defsimp defines -simple FIELD_14:def 7 :
for F being Field
for E being FieldExtension of F holds
( E is F -simple iff ex a being Element of E st E == FAdj (F,{a}) );