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:
O número x é múltiplo de 5;
O número (x + 1) é divisível por 5;
O número x não pode ser um número primo
O número (x - 1) é um múltiplo de 4.