それは、位取り記数法の値の集合をStone空間と見ること、その実数表現が連続関数によって与えられることに気づくことを、その証明が含んでいるからである。
他把这个证明称为“一个基本点集拓扑学的指导性的练习”：它包含了把各位数的集合视为斯通空间，并注意到它们的实数表示法可以由连续函数给出。