Es sei ${\displaystyle {}G=(V,E)}$ ein Graph mit ${\displaystyle {}n}$ Knotenpunkten und ${\displaystyle {}c}$ Zusammenhangskomponenten.

Dann lässt sich jeder Unterwald ${\displaystyle {}(W,F)\subseteq (V,E)}$ mit weniger als ${\displaystyle {}n-c}$ Kanten zu einem Unterwald mit ${\displaystyle {}n-c}$ Kanten ergänzen.