theorem :: XCMPLX_1:30

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