If it can be proved that if a decimal of the form 0.b1b2b3... is a positive integer, then it must be 0.999..., which is then the source of the 9s in the theorem.
Ha bizonyítható, hogy a 0,b1b2b3… végtelen tizedestört egész szám, akkor ennek a 0,999…-nek kell lennie, ami a tételben szereplő 9-esek forrása.