Se da un grafo conexo. Demuestra que sus vértices pueden ser coloreados de azul y verde y algunas de sus aristas marcadas de manera que cada dos vértices estén conectados por un camino de aristas marcadas, cada arista marcada conecta dos vértices de diferente color y no hay dos vértices verdes conectados por una arista del grafo original.