r ≤ x −a ≤ ⇒ a ≤ x−r.