theorem :: XCMPLX_1:134

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