Before revision:  We do so by proving a novel lemma about matching rankings of candidates to candidates, which we refer to as the ranking-matching lemma .
After revision:  We do so by proving a novel lemma about matching voters to candidates, which we refer to as the ranking-matching lemma .