Added Lemma: Transmission duration
Halfway through Algo 1