Let and be a positive integer. Then
Proof
\@{proof-of-finite-geometric-series}
First, define as
Then
Subtracting the second equation from the first gives
because everything in the middle cancels out.
Now, we can factor out from the left hand side to get