Congruence and Equality.
For any integers \(a\text{,}\) \(b\text{,}\) and \(n\text{,}\) we have
\begin{equation*}
a \equiv b \pmod{n} \qquad \text{ if and only if } \qquad a = b + kn \mbox{ for some integer } k \text{.}
\end{equation*}
For any integers \(a\text{,}\) \(b\text{,}\) and \(n\text{,}\) we have