OK. I will take a look and see if I can do it without any textual changes in another PR. Fortunately, there are no theorems in chapter 1, so no existing numbers should change.