One can then show that this definition (or the nested intervals definition) is consistent with the subdivision procedure, implying 0.999... = 1 again.
然后我们就可以证明，这种定义（或区间套的定义）与划分的过程是一致的，再一次证明了0.999… = 1。