Since the binary trait has marginal Bernoulli distribution with probability , its total variance is
Within a specified genotype , the conditional variance is . The within-genotype contribution to total variance is its average over the population:
Another Hardy-Weinberg equilibrium average gives
Hence
By the law of total variance, the remaining between-genotype component is the genetic variance of penetrance, namely
It is nonnegative, as a variance must be. It also follows from . The single-genotype variance and its population average are different quantities; both have been specified.