theorem ch1: :: FIELD_6:56

for F being Field
for E being Polynom-Ring b₁ -homomorphic FieldExtension of F
for a being Element of E holds
( a is F -algebraic iff FAdj (F,{a}) = RAdj (F,{a}) )