theorem :: XCMPLX_1:168

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