Exchange lemma.