Divisibility rules/Rule 1 for 13 proof
Truncate the last digit, multiply it by 4 and add it to the rest of the number. The result is divisible by 13 if and only if the original number was divisble by 13. This process can be repeated for large numbers, as with the second divisibility rule for 7.
An understanding of basic modular arithmetic is necessary for this proof.
Let be a positive integer with units digit , tens digit and so on. Then is the result of truncating the last digit from . Note that . Now if and only if , so if and only if . But , and the result follows.