theorem Th78: :: XCMPLX_1:78

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