theorem :: XCMPLX_1:173

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