theorem :: XCMPLX_1:158

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