theorem :: XCMPLX_1:202
0 " = 0 ;