theorem :: XCMPLX_1:142

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