theorem :: XCMPLX_1:52

for a, b being Complex st a <> 0 holds
a / (a / b) = b