Really every theorem should either describe what it does or have ten thousand names, chained by hyphens, going back to an early hominid named Garg.