theorem Th1: :: HURWITZ2:1

for x, y being Complex st Im x = 0 & Re y = 0 holds
Re (x / y) = 0