Kruskal's theorem