theorem :: XCMPLX_1:160

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