El teorema de Kuratowski nos dice que el grafo completo $K5$ y el grafo bipartito $K{3,3}$ son las únicas obstrucciones a un grafo que es plano, es decir, incrustable en el plano sin cruces de bordes.
¿Se sabe que la lista de obstrucciones para poder incrustar un gráfico sin cruces de bordes en la superficie del género $g$ es finita para todo $g$?