theorem Th116: :: XCMPLX_1:116

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