theorem :: FIELD_7:38

for F being Field
for E being FieldExtension of F
for p being non zero Element of the carrier of (Polynom-Ring F) holds FAdj (F,(Roots (E,p))) is F -algebraic ;