Poisson output theorem for a feedback queue

In equilibrium, a Bernoulli-feedback $M/M/1$ queue has the same queue-length process as an ordinary queue with service rate $\mu (1-p)$, so its external departures form a Poisson process of rate $\lambda$.