Birth of a Theorem