Kruskal's theorem

Summary