除法の定理にて、a = bq + r, 0 <= r < b
0 <= r < b　の部分を -b/2 < r <= b/2 に変えても
q,rが一意的なのは変わらないことを証明したいです
方法を教えてください