theorem :: FIELD_14:73

for F being Field
for E being b₁ -finite FieldExtension of F holds
( E is F -simple iff ex a being Element of E st deg (a,F) = deg (E,F) )