Generating Function by Power of Parameter

Theorem
Let $G \left({z}\right)$ be the generating function for the sequence $\left\langle{a_n}\right\rangle$.

Let $m \in \Z_{\ge 0}$ be a non-negative integer.

Then $z^m G \left({z}\right)$ is the generating function for the sequence $\left\langle{a_{n - m} }\right\rangle$.

Proof
By definition:
 * $z^m G \left({z}\right) = \displaystyle \sum_{n \mathop \ge 0} a_n z^n$
 * $H \left({z}\right) = \displaystyle \sum_{n \mathop \ge 0} b_n z^n$

By letting $a_n = 0$ for all $n < 0$:


 * $z^m G \left({z}\right) = \displaystyle \sum_{n \mathop \ge 0} a_{n - m} z^n$

Hence the result.