how to talk about theorems