theorem Th188: :: XCMPLX_1:188

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