DMcG has answered better than I could but, as I said, I think my "proof" works well enough in the context of little # games.

I'm a bit puzzled, though, by "until you have calculated all other transactions". What other transactions? The process of dividing by 9 leaving remainder 1 isn't going to change.