theorem :: FIELD_9:10

for F being Field
for E being FieldExtension of F
for a being Element of E holds FAdj (F,{a}) = FAdj (F,{(- a)})