theorem :: XCMPLX_1:14

for a being Complex holds a - a = 0 ;