Probar que para todo entero positivo $x$ de exactamente cuatro dígitos, si la suma de los dígitos es divisible por $3$, $x$ sí es divisible por 3 (es decir, considerar la posibilidad de $x = 6132$, la suma de los dígitos de $x$$6+1+3+2 = 12$, el cual es divisible por 3, por lo $x$ es también divisible por $3$.)
¿Cómo podía acercarse a esta prueba? No estoy seguro de dónde iba a comenzar.