theorem :: XCMPLX_1:2

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