If a − b ∈ P, then (a + c) − (b + c) = a − b is in P. Thus a + c > b + c​