theorem :: XCMPLX_1:133

for a, b being Complex st - a = - b holds
a = b ;