for F being Field
for E being FieldExtension of F
for p being irreducible Element of the carrier of (Polynom-Ring F)
for a, b being Element of E st a is_a_root_of p,E & b is_a_root_of p,E holds
FAdj (F,{a}), FAdj (F,{b}) are_isomorphic