Newton-Girard Formulas/Lemma 2

Theorem
Let $a, b \in \Z$ be integers such that $b \ge a$.

Let $U$ be a set of $n = b - a + 1$ numbers $\left\{ {x_a, x_{a + 1}, \ldots, x_b}\right\}$.

Let $m \in \Z_{>0}$ be a (strictly) positive integer.

Let:

That is, $h_m$ is the product of all $m$-tuples of elements of $U$ taken $m$ at a time, excluding repetitions.

For $r \in \Z_{> 0}$, let:
 * $S_r = \displaystyle \sum_{j \mathop = a}^b {x_j}^r$

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

Then: