theorem eq: :: FIELD_12:19

for F being Field holds
( F is maximal_algebraic iff F is algebraic-closed )