I would avoid altogether restating the lemma in Section 7. This introduces some redundancy and can eventually lead to inaccuracies and confusion: what if at some stage you modify one of the instances of the lemma, but forget to modify the second one?
Seva
- 23k
- 2
- 59
- 141