Seja x um número natural que, dividido por 6, deixa resto 2.

Então, ( x + 1) é necessariamente múltiplo de