theorem :: XCMPLX_1:200

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