Title: Birth of a Theorem