Theorem

Let

  • and conditional on
  • .

Then (unconditional on ) is Poisson distributed with parameter .

Interpretation

If you have a Poisson number of trials and each succeeds with probability , the number of successes is still Poisson — just with a scaled-down rate.

Proof

Thus .