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

Theorem

 * $\forall n \in \N: 1 + 2 + \cdots + n + \left({n-1}\right) + \cdots + 1 = n^2$