Divisibility rules/Rule 1 for 7 proof
Proof
This is based on divisibility by 11 rule
Assume has digits, otherwise add zeros to the left. WLOG let where the are base-ten numbers. Then
Rewriting or partitioning into 3 digit numbers ().
This is the alternating sum of groups of 3 digit numbers of , which is what we wanted.