He venido a través de esta pregunta de mi libro de texto:
Demostrar o refutar: cualquier entero $n$ es de la forma: $5k$, $5k + 1$, $5k + 2$, $5k + 3$ o $5k + 4$ para algunos entero $k$.
No estoy seguro de lo que sería el correspondiente método de prueba aquí. Puede que alguien me apunte en la dirección correcta?