Hoffman and Kruskal proved the following theorem.
6. Hoffman と Kruskal は、次の定理を証明した。