theorem :: XCMPLX_1:145

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