O algoritmo abaixo representa a divisão exata de um número natural não nulo x por 4. A parte inteira do quociente dessa divisão é um número menor do que 10 e maior do que 0.

Pode-se afirmar, corretamente, que