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