theorem :: XCMPLX_1:218

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