theorem :: XCMPLX_1:16

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