Skorzystamy z twierdzenia o dzieleniu z resztą:

Dla dowolnej liczby całkowitej  i dowolnej liczby naturalnej  istnieje tylko jedna para liczb całkowitych  i  taka, że , gdzie .

a)