theorem :: XCMPLX_1:149

for a being Complex holds 0 - a = - a ;