Hoffman-Kruskal Theorem