theorem :: XCMPLX_1:20

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