  An elementary and rigorous justification of Dynkin's identity with an
extended infinitesimal operator based on the idea of a complete probability
formula is given for queueing systems with a single server and discontinuous
intensities of arrivals and serving.
