A short proof for Chenʼs Alternative Kneser Coloring Lemma

We give a short proof for Chenʼs Alternative Kneser Coloring Lemma. This leads to a short proof for the Johnson–Holroyd–Stahl conjecture that Kneser graphs have their circular chromatic numbers equal to their chromatic numbers.