theorem FAsub2: :: FIELD_6:37

for F being Field
for E being FieldExtension of F
for T being Subset of E
for U being Subfield of E st F is Subfield of U & T is Subset of U holds
FAdj (F,T) is Subfield of U