Some mathematical statements feel undeniably true the moment you hear them. Yet proving them can be impossible. This theorem has convinced generations of mathematicians without ever yielding a formal ...