theorem Th94: :: XCMPLX_1:94

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