theorem :: XCMPLX_1:61

for a, b being Complex st b <> 0 & b / a = b holds
a = 1