theorem :: XCMPLX_1:172

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