theorem :: XCMPLX_1:155

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