theorem :: XCMPLX_1:130

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