
theorem bb1:
for F being Field
for E being FieldExtension of F,
    K being F-extending FieldExtension of E
for a being Element of E,
    b being Element of K st b = a holds RAdj(F,{a}) = RAdj(F,{b})
proof
let R be Field, S be FieldExtension of R, T be R-extending FieldExtension of S;
let a be Element of S, b be Element of T;
assume AS: b = a;
S is Subring of T by FIELD_4:def 1;
then RAdj(R,{a}) is Subring of T by ALGNUM_1:1;
hence thesis by AS,bb0,FIELD_6:14;
end;
