theorem help1: :: FIELD_13:40

for F being Field
for E being FieldExtension of F
for T being finite Subset of E st T is F -algebraic holds
FAdj (F,T) = RAdj (F,T)