Démontrer que pour tout entier naturel $n$ on a :

$S_n = \sum_ {k=0}^{n} k = 0 + 1 + 2 +\ldots+n = \dfrac{n(n+1)}{2}$