Proving that $9$ is a divisor of $x \in \Bbb N$ if the sum of digits of $x$ is divisible by $9$.
Why $9$ & $11$ are special in divisibility tests using decimal digit sums? (casting out nines & elevens)