theorem RF2: :: FIELD_6:40

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