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 .