theorem Th58: :: XCMPLX_1:58

for a, b being Complex st a / b = 1 holds
a = b