Proposition: Sum of Consecutive Natural Numbers
The sum of consecutive natural numbers to a given number $n$ can be calculated by the following formula
$$\sum_{k=0}^n k=\frac{n(n+1)}2.$$
Table of Contents
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Forster Otto: "Analysis 1, Differential und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983