Short proof that Kneser graphs are Hamiltonian for n ⩾ 4k. - Johann Bellmann; Bjarne Schülke (Discret. Math., 2021)