Estás preguntando cómo probar esto específicos de la regla de divisibilidad por $13$? Si es así, no es difícil con módulo aritmético.
Para separar las unidades de lugar de el resto de la serie, se puede expresar como $10x + y$ donde $y$ representa las unidades de lugar.
$10x + y = 13x - 3x + 13y - 12y = 13(x+y) -3(x+4y) \equiv -3(x+4y) \pmod{13}$
Desde $3$ es coprime a $13$ (sin otros factores de $1$ en común), si $x+4y \equiv 0 \pmod{13}$ (otra manera de decir $x+4y$ es divisible por $13$),$10x + y \equiv 0 \pmod{13}$, lo que demuestra la regla de divisibilidad.
Ahora se puede expresar que la regla en un algoritmo simple: la franja de la última cifra, se multiplica por $4$ y añadir que para el resto de los números. Si el número es divisible por $13$, entonces así fue el número original.
Usted también puede encontrar productos similares (es decir, un poco "feo") de las reglas de divisibilidad por $7$) y otros (impares primos utilizando métodos similares. Por ejemplo, para $7$, la regla es que la tira fuera el último dígito, el doble y restar que desde el resto de la serie. Si el número es divisible por $7$, por lo que fue el original. ($10x + y = 7(x+y) + 3(x-2y) \equiv 3(x-2y) \pmod 7$).