もし、0.b1b2b3⋯という形の小数が正の整数であることを証明できれば、それは0.999⋯に他ならず、それがこの定理において9たちが出現する原因となる。
如果我们可以证明，一个具有形式0.b1b2b3…的小数是正整数，那么它就一定是0.999…，这也就是定理中9的来源。