Para cada inteiro positivo n, seja f(n) o resto da divisão de n por 5. Por exemplo, f(11) = 1, pois na divisão de 11 por 5, o resto é 1 e f(2) = 2, pois na divisão de 2 por 5, o quociente é 0 e o resto é 2. Então, pode-se afirmar que