theorem :: XCMPLX_1:139

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