También permite realizar una prueba de que los reales no son enumerables (dado que los reales son un espacio métrico completo, y por tanto no pueden ser una unión enumerable de puntos).