for F being Field
for E being FieldExtension of F
for a being b₁ -algebraic Element of E holds deg ((FAdj (F,{a})),F) = deg (MinPoly (a,F))