Suppose that a,b & Z+, and x, y Z, not both zero, so that |ax + by] < min(a, b). Prove that x y < 0.