Sean $r,g,b$ enteros no negativos y $\Gamma$ un grafo conexo con $r+g+b+1$ vértices. Sus aristas están coloreadas en rojo, verde y azul. Resultó que $\Gamma $ contiene un árbol de expansión con exactamente $r$ aristas rojas. Un árbol de expansión con exactamente $g$ aristas verdes. Un árbol de expansión con exactamente $b$ aristas azules. Pruebe que $\Gamma$ contiene un árbol de expansión con exactamente $r$ aristas rojas, $g$ aristas verdes y $b$ aristas azules.