18.1. Lemma

Maradékok különbsége osztható a modulussal

Tegyük fel, hogy aa, bb és c0c\neq 0 tetszőleges egész számok, melyekre teljesülnek az alábbi egyenlőtlenségek:

0a<c0b<c\begin{aligned} 0&\leq a\lt |c| \\ 0&\leq b\lt |c| \end{aligned}

Tegyük fel továbbá, hogy teljesül a cabc|a-b oszthatóság is. Ekkor

a=ba=b