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