theorem :: XCMPLX_1:104

for a, b, c being Complex holds (a / b) / c = (1 / b) * (a / c)