“A beautiful proof is succinct, like a beautiful ruling. It combines just a handful of different concepts, albeit from across the mathematical universe, and in a relatively brief series of steps, leads to a grand and new generalized truth in mathematics: that is, a wholly provable, unshakable absolute in a constructed world with very few unshakable absolutes.”
