Usando el orden lexicográfico, se puede probar que dados $n$ puntos distintos en el plano, existe al menos una curva suave (o al menos continua) que pase por ellos sin que se autointersecte. Existen otras maneras de hacerlo, apoyándose por ejemplo de las curvas de Peano o de Hilbert.
¿Será que haya alguna prueba de la existencia de dichas curvas sin necesidad de construirlas? Tiene pinta de que sí, pero nomás no doy con una.
