It doesn’t say in the Nemeth code that you can’t divide a formal proof, so I think that you probably can divide it. I think that I would treat it as any other type of text and break where you have to – i.e. not even try to keep steps together on a page, but rather fill as much of the page as possible.