Sum of Geometric Sequence

Theorem
Let $$x \in \mathbb{R}, x > 1$$ and $$n \in \mathbb{N}^*$$.

Then $$\sum_{j = 0}^{n - 1} x^j = {\frac {x^n - 1} {x - 1}}, x \ne 1$$.