În algebra, teorema impartirii cu rest exprimă algoritmul procesului de impartire între două numere la care se obține un rezultat întreg și un rest neîntreg. Enunțul teoremei este următorul:
Enunțul teoremei
Fie a (deîmpărțit) și b (împărțitor) două numere intregi, cu condiția ca b să fie nenul. Există și sunt unice numerele întregi q (câtul) și r (restul impartirii), astfel încât să fie satisfăcute simultan condițiile:
a = b * q + r0 ≤ r < |b|, unde |b| reprezintă modulul(valoarea absolută) a lui b.
