theorem :: FIELD_13:58

for F being Field
for E being FieldExtension of F
for T being non empty finite b₁ -algebraic Subset of E holds
( FAdj (F,T) is F -normal iff for a being Element of T holds MinPoly (a,F) splits_in FAdj (F,T) )