Proposition: Sum of Squares
The sum of consecutive square numbers to a given number $n^2$ can be calculated by the following formula
$$\sum_{k=0}^n k^2=\frac{n(n+1)(2n+1)}6.$$
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