Number of one Poisson type before another

For independent Poisson processes of rates ${\lambda }_1$ and ${\lambda }_2$, the number $K$ of type-two arrivals before the first type-one arrival satisfiesThis follows by marking the superposed process by its arrival type.