Kruskal’s Theorem:

^{you wish I was joking…}