theorem :: XCMPLX_1:189

for a, b being Complex holds - (a / (- b)) = a / b