theorem :: XCMPLX_1:135

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