Permutation/Fixpunktfrei/Formel/Fakt/Beweis/Aufgabe