Théorème de réarrangement de Riemann

<h3>Théorème [Riemann]</h3>\rSoit $(u_n)$ une série réelle semi-convergente, c'est-à-dire convergente mais pas absolument convergente, et soit $\alpha \in [-\infty, +\infty]$. Alors il existe une permutation $\sigma$ de $\mathbb{N}$ telle que \r\r$$ \sum_{k = 0}^n u_{\sigma(k)} \to \alpha \;. $$\r\r<h3> Contexte </h3>\r\rOn sait que si une série numérique (réelle) $\sum_{n \geq 1}u_n$ est absolument convergente, alors elle est commutativement convergente, c'est-à-dire que pour tout $\sigma \in \mathfrak{S}(\mathbb{N})$, on a $$ \sum_{n \geq 0}u_{\sigma(n)} = \sum_{n \geq 0}u_n. $$