theorem :: XCMPLX_1:112

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