numbers before theorems