1+2+...+n+(n-1)+...+1 = n^2/Illustration
Theorem
$\forall n \in \N: 1 + 2 + \cdots + n + \paren {n - 1} + \cdots + 1 = n^2$
Illustration