theorem Th95: :: XCMPLX_1:95

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