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.