A Proof for the Queuing Formula: L = λW | Synapse