Exchange lemma