Dados dos bosques $A$ y $B$ con $\(V(A) = V(B)\)$ , es decir, los grafos están sobre el mismo conjunto de vértices. Suponga que $A$ tiene estrictamente más bordes que $B$ . Pruebe que existe un borde de $A$ que si se incluye en el conjunto de bordes de $B$ , entonces $B$ seguirá siendo un bosque. Los grafos no están dirigidos.