For with binomial distribution , where is a nonnegative integer and , use its probability mass function and the binomial theorem:
This moment-generating function of a binomial distribution is finite for every real , since the random variable has finite support. The formula also includes the degenerate cases , and .
The independence of and permits factoring the expectation of the product . The moment-generating function of a binomial distribution from the previous part therefore gives
This is the moment-generating function of . Both moment-generating functions are finite on a neighbourhood of zero, so the uniqueness theorem for moment-generating functions identifies the probability distribution:
The common success probability and independence are both used in this argument.