theorem :: XCMPLX_1:146

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