Considere um grafo planar com 8 vértices, cada um com grau 5. Suponha que cada aresta do grafo é colorida com uma das cores azul, vermelha, verde ou amarela. Quantas colorações diferentes podem ser obtidas de modo que nenhuma face do grafo tenha todas as suas arestas da mesma cor?