theorem Th114: :: XCMPLX_1:114

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