
theorem
for F being Field,
    E being FieldExtension of F
for a being Element of E holds FAdj(F,{a}) = FAdj(F,{-a})
proof
let F be Field, E be FieldExtension of F; let a be Element of E;
thus FAdj(F,{a}) = FAdj(F,{--a,-a}) by ext1 .= FAdj(F,{-a}) by ext1;
end;
