The law of total expectation gives . The law of total variance separates the two sources of randomness:
Substitution gives
The binomial thinning of a geometric random variable identity supplies a further check: itself has a zero-based geometric distribution with success probability .