>The terminology is "a bit off", there are theorems that I would not expect to be proved, that are also stated in a very strange manner. Lemma 7.4, again, is not something you'd expect to see in a paper like this, the same goes to Lemma 8.1.
reader you will not be able to guess what Lemma 7.4 is