En efecto, al aplicar el algoritmo para dividir un entero por otro, sólo existen un número finito de restos posibles.