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.
Jika seseorang dapat membuktikan sebuah bilangan desimal dalam bentuk 0,b1b2b3… adalah sebuah bilangan bulat positif, maka itu haruslah 0,999…, yang merupakan sumber 9 dalam teorema itu.