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 és b megegyezik.