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