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?