Casting out nines
en.wikipedia.org
en.wikipedia.org
https://en.wikipedia.org/wiki/Digital_root
which presents much of the same material and is a decent fully-wikified article using math notation.
I think the casting out nines article could be improved a lot, maybe with more of a focus on the history of the concept.
By the way, you can combine this with 'casting out tens', then you'll know if your result is accurate mod 90 (which is even less likely than it being accurate mod 10 or mod 9, if you've made a mistake).