theorem :: XCMPLX_1:229

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