Tetszőleges a és b\neq 0 egész számhoz pontosan egy olyan k hányados és r maradék létezik, melyekre teljesülnek az alábbiak:
\begin{aligned}a&=k\cdot b + r\\0&\leq r\lt |b|\end{aligned}
Tetszőleges a és b\neq 0 egész számhoz pontosan egy olyan k hányados és r maradék létezik, melyekre teljesülnek az alábbiak:
\begin{aligned}a&=k\cdot b + r\\0&\leq r\lt |b|\end{aligned}