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