Number the lemmas and theorems