18.1. Lemma
Maradékok különbsége osztható a modulussal
Tegyük fel, hogy a, b és c\neq 0 tetszőleges egész számok, melyekre teljesülnek az alábbi egyenlőtlenségek:
\begin{aligned}
0&\leq a\lt |c| \\
0&\leq b\lt |c|
\end{aligned}
Tegyük fel továbbá, hogy teljesül a c|a-b oszthatóság is. Ekkor
a=b
♣