Prove the divisibility rule for 3: the number is divisible by 3 if and only if the sum of its digits is divisible by 3.