theorem :: XCMPLX_1:154

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