Soit un entier naturel et un entier naturel non nul.

Il existe un unique couple d'entiers naturels tels que : et .

est le quotient et le reste de la division euclidienne de par .