Show that if $a$ and $b$ are positive integers, then there are unique integers $q$ and $r$ such that $a=b q+r$, where $-b / 2<r \leq b / 2$. This result is called the modified division algorithm.