Independent mutation counts in coalescent epochs (source code)

= Independent mutation counts in coalescent epochs

The epoch lengths in <Kingman's coalescent> are <independent random variables>. Conditional on these lengths, <mutation> counts on disjoint tree pieces are independent <Poisson random variables>. Their conditional laws depend only on the corresponding epoch length, so integrating the product of conditional laws against the independent epoch laws leaves independent unconditional epoch mutation counts. This justifies adding their <variances>, rather than assuming independence from conditional independence alone.