 Burke theorem for an M-M-infinity queue

In stationarity, the departure process of an $M/M/\infty$ queue is a Poisson process of rate $\lambda$. By time reversibility, the departures before any fixed time are independent of the occupancy at that time.