1+2+...+n+(n-1)+...+1 = n^2

Theorem

 * $\forall n \in \N: 1 + 2 + \cdots + n + \paren {n - 1} + \cdots + 1 = n^2$