theorem :: XCMPLX_1:201

for a, b being Complex st a " = b " holds
a = b by Lm12;