 Embedded departure chain of an M-G-1 queue

Let $Q_n$ be the number left immediately after departure $n$, and let $A_n$ be the arrivals during the next service. ThenConditional on service duration $S$, $A_n$ is Poisson with parameter $\lambda S$, so