theorem :: XCMPLX_1:153

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