theorem Th49: :: XCMPLX_1:49

for a being Complex holds a / 0 = 0