theorem :: XCMPLX_1:19

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