theorem SGNZ: :: COMPLEX3:24

for a, b being non zero Real st sgn a > sgn b holds
( a is positive & b is negative )