theorem :: XCMPLX_1:171

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