Talk:Quinn/@comment-25306139-20140820181745/@comment-5266525-20140902202822

^ It's trivially provable.

-Let x = 0.99 recurring - 10x = 9.99 recurring - 9x  = 9 - x   = 1

... so 0.99 recurring = 1 :)