gibt für einen beliebigen Graph G der Ordnung n eine Formel für dessen Arborizität an und wurde 1964 von C.St. Nash-Williams bewiesen. Dabei ist die Arborizität von G die minimale Anzahl von Wäldern, deren Vereinigung G ergibt.

Ist m_k die maximale Anzahl von Kanten in einem Teilgraphen von G mit k Ecken für 2 ≤ k ≤ n, dann ist

\begin{eqnarray}\max \quad\{\lceil \frac{{m}_{k}}{k-1}\rceil |2\le k\le n\}\end{eqnarray}