18.2. Tétel

Egész számok maradékos osztása egyértelmű

Tetszőleges aa és b0b\neq 0 egész számokhoz pontosan egy olyan kk hányados és rr maradék létezik, melyekre teljesülnek az alábbiak:

a=kb+r0r<b\begin{aligned} a&=k\cdot b + r\\ 0&\leq r\lt |b| \end{aligned}