changed lemma proof of transmission duration