renumbering theorems
