Lemma 1.2
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 1 Endliche Menge/1 bis k/Eins heraus/Fakt