Lemma 6.9 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 6
Endliche Menge/1 bis k/Eins heraus/Fakt