This is a special case of casting out nines, which is obvious when viewed using modular arithmetic:
$\rm\quad mod\,\ 9\!:\, \ \color{#c00}{10\equiv 1}\ \Rightarrow\ P(\color{#c00}{10})\equiv P(\color{#c00}1)\ \ $ for all polynomials $\rm\,P(x)\,$ with integer coefficients
by the Polynomial Congruence Rule.
But radix notation has polynomial form, e.g. $\rm\ N = 567 = P(10)\,$ for $\rm\, P(x) = 5\, x^2 + 6\,x + 7.\, $ Thus the above implies that $ $ mod $\,9\!:\ \rm N = P(10)\equiv P(1) = $ the sum $\rm\,S_N$ of the decimal digits of $\rm\,N,\,$ thus $\rm \bmod 9\!:\,\ 567 \equiv 5\!+\!6\!+\!7\equiv 18\equiv 1\!+\!8\equiv 9,\,$ so $\,9\mid 567,\,$ i.e. $\,9\,$ divides $\,567$.
OP is special case $\rm\ N\equiv 0\pmod{\! 9}\ $ so by above it remains $\equiv 0\ $ when we map $\rm N$ to its digit sum $\rm\,S_N.\,$ This map is strictly decreasing for $\rm\:N > 9,\, $ so iterating it eventually reaches some $\rm\: N' \le 9.\ $ But $\rm\ N'\equiv 0\pmod{\!9}\, $ so $\rm\: N' = 9\,$ $\rm (N'\!\neq0\,$ by $\rm\,N>0\,$ has a nonzero digit so $\rm\,S_N>0)$.
If modular arithmetic is unfamiliar we could instead use divisibility rules or proceed as follows:
Factor Theorem $\rm\,\Rightarrow\, X\!-\!1\mid P(X)\!-\!P(1)\ $ so $\rm\ X = 10\ \Rightarrow\ 9\mid P(10)\!-\!P(1)\ $ i.e. $\rm\; 9\mid N\! -\! S_N$
The analogous result holds true for any radix $\rm\:b,\,$ i.e. we can cast $\rm\:b\!-\!1$'s in the same way, since
$\rm\quad \bmod\, \color{#c00}{b\!-\!1\!}:\,\ N = \color{#c00}{b\equiv 1}\,\Rightarrow\, P(\color{#c00}b) \equiv P(\color{#c00}1)= \text{sum of radix $\rm\,b\,$ digits of }\, N$
Therefore $\,\rm \bbox[5px,border:1px solid #c00]{\,9\,=\color{#c00}{10-1\,}\text{ is 'special' because it is $\rm\color{#c00}{one\ less}$ than the radix}\, \color{#c00}{10}}$
Similarly we cast $11$'s by $\!\rm\bmod 11\!:\ \color{#c00}{10\equiv -1}\,\Rightarrow\, P(\color{#c00}{10})\equiv P(\color{#c00}{-1})\equiv p_0 -p_1 + p_2 -p_3 +\cdots $
Therefore $\,\rm \bbox[5px,border:1px solid #c00]{11=\color{#c00}{10\!+\!1}\text{ is 'special' because it is $\rm\color{#c00}{one\ more}$ than the radix}\, \color{#c00}{10}}$
Similarly we may cast $1001 = 7\cdot 11\cdot 13\,$ by taking the alternating digit sum in radix $\,10^3,\,$ yielding a combined divisibility test for $\,7,11,13\,$. We get countless divisibility tests via such modular reduction, e.g. see here for casting out $\,91$'s.
It deserves to be better known that we may also cast out nines to check rational arithmetic - as long as the fractions have denominator coprime to $3$, e.g. see Hilton; Pedersen: Casting out nines revisited (these results are very old). Analogous remarks hold true for any ring that has $\ \mathbb Z/9\ $ as an image - just as one can apply parity arguments in any ring that has $\ \mathbb Z/2\ $ as an image, e.g. the ring of all rationals with odd denominator, or the ring of Gaussian integers $\,\mathbb Z[i],\,$ where the image $\, \mathbb Z[i]/(2,i\!-\!1) \cong \mathbb Z/2\ $ yields the natural parity definition: $\, a+b\:i\ $ is even $\iff a\equiv b\pmod{\! 2},\,$ i.e. if $\, a+b\:i\ $ maps to $\:0\:$ via the above isomorphism, which maps $\, 2\to 0,\ i\to 1\:$. See here for further discussion of parity in rings of algebraic integers, including examples of number rings with no parity structure, and with more than one parity structure. See also this post for "casting out orders" in cyclic groups, and see this thread for an in-depth comparison of various elementary inductive proofs of casting nines.
These are elementary prototypical examples of problem-solving by way of modular reduction - one of the keystones of abstract algebra. As such one should be sure to understand these simple instances before moving on to more advanced manifestations of modular reduction.