1: $-invariant 

2: splitting  given  by  Theorem \ref{teor-intro-convergence}, with  $