https://kottke.org/05/09/the-list-of-the-100-greatest-theorems-in