theorem :: XCMPLX_1:165

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