Endliche Mengen/Surjektive Abbildungen/Summe der Multinomialkoeffizienten/Nichtleer/Fakt/Beweis

Beweis

Dies folgt unmittelbar aus Fakt, da ja eine Abbildung genau dann surjektiv ist, wenn alle Fasern nicht leer sind, was sich in der Bedingung ${}r_{j}\geq 1$ niederschlägt.

Zur bewiesenen Aussage