theorem Th62: :: XCMPLX_1:62

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