Binomial thinning conditional on a total (source code)

= Binomial thinning conditional on a total

Conditioned on a total of $n$ Poisson points, the number falling in a region of relative intensity $p$ is $\operatorname{Binomial}(n,p)$.