Kruskal’s Theorem:

^{you wish I was joking…}

lol I’d thought about adding it, don’t know why I didn’t. BB-n too, I reckon. Good thing you brought it up!