El teorema de Kuratowski dice que un grafo plano no puede contener formula_4 (ó el grafo bipartito completo formula_5) y todo formula_2 incluye a formula_7, entonces ningún grafo completo formula_2 con formula_9 es plano.