theorem :: XCMPLX_1:161

for a, b being Complex holds - (a - b) = (- a) + b ;