Llama a esta demostración: «un ejercicio instructivo en "topología punto-conjunto"»; involucra conjuntos de valores posicionales vistos como espacios de Stone y el hecho de que su representación real viene dada por funciones continuas.