theorem :: XCMPLX_1:170

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