theorem RF: :: FIELD_6:39

for F being Field
for E being FieldExtension of F
for T being Subset of E holds RAdj (F,T) is Subring of FAdj (F,T)