Suppose $a$ and $b$ are positive integers such that when $a^2$ is divided by $b$, the quotient is $q$ and the remainder is $r$. If $q + r = b$, which of the following statements must always be true?