Soit un entier relatif et un entier relatif non nul.
Il existe un unique couple d'entiers relatifs tels que : et .
est le quotient et le reste de la division euclidienne de par .