theorem :: XCMPLX_1:191

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