Sum of Identical Terms

Theorem
Let $x$ be a number.

Let $n \in \N$ be a natural number such that $n \ge 1$.

Then:


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