theorem :: XCMPLX_1:202

0 " = 0 ;