theorem NPR: :: COMPLEX3:30

for a, b being negative Real holds sgn ((1 / a) - (1 / b)) = sgn (b - a)