In queueing theory, Bartlett's theorem gives the distribution of the number of customers in a given part of a system at a fixed time.