Lemma 3.7
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 3 Permutation/Fixpunktfrei/Formel/Fakt