y/x>0 = 1/x*y>0