The Division Algorithm.

Given any two integers \(a\) and \(b\text{,}\) we can always find an integer \(q\) such that

\begin{equation*} a = qb + r \end{equation*}

where \(r\) is an integer satisfying \(0 \le r \lt |b|\)

in-context