Sum of Identical Terms

Theorem
Let $x$ be a number, and let $n \in \N$ be a natural number.

Suppose that $n \ge 1$.

Then:


 * $\displaystyle \sum_{i = 1}^n x = n x$