También se considera uno de los primeros resultados topológicos en geometría (que no depende de ninguna medida).