One can then show that this definition (or the nested intervals definition) is consistent with the subdivision procedure, implying 0.999... = 1 again.
Kita kemudian dapat menunjukkan bahwa definisi ini (atau definisi interval bersarang) konsisten dengan prosedur subdivisi, mengimplikasikan 0,999… = 1.