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.
如果我们可以证明，一个具有形式0.b1b2b3…的小数是正整数，那么它就一定是0.999…，这也就是定理中9的来源。