1: $.

2: 

3: \begin{lemma}

4: \label{lemma_compactlyconvergence_limita_resolvente1}

5: Let $