Lemma 13.5
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 13 Endliche Mengen/Surjektive Abbildungen/Summe der Multinomialkoeffizienten/Nichtleer/Fakt