The sum of digits, when divided by 9, has the same remainder as the original number. Therefore, the sequence we're looking at is actually the sequence of reminders of the powers of 2.
Since the reminder of 2^n determines the reminder of 2^(n+1), the sequence has to repeat itself after a short while.

I agree wholeheartedly.