theorem :: XCMPLX_1:167

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