Some mathematical statements feel undeniably true the moment you hear them. Yet proving them can be impossible. This theorem ...