We often hear that mathematics consists mainly of "proving theorems." Is a writer's job mainly that of "writing sentences?"