theorem :: XCMPLX_1:192

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