What's very neat is that the algebraic argument also works for other sequences like 0.888...

x = 0.8...

10x = 8.8... = 8 + x

9x = 8

8/9 = 0.8...