theorem :: XCMPLX_1:166

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