Probability Generating Function of Zero

Theorem
Let $X$ be a discrete random variable whose codomain, $\Omega_X$, is a subset of the natural numbers $\N$.

Let $p_X$ be the probability mass function for $X$.

Let $\Pi_X \left({s}\right)$ be the probability generating function for $X$.

Then:
 * $\Pi_X \left({0}\right) = p_X \left({0}\right)$