Sea α un punto de formula_8, entonces cualquier intervalo abierto centrado en α contiene números cuya expansión ternaria tiene al menos un 1, por lo que ese intervalo no puede estar contenido en formula_8.