theorem :: XCMPLX_1:152

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