Endliche Mengen/Surjektive Abbildungen/Summe der Multinomialkoeffizienten/Nichtleer/Fakt/Beweis
Erscheinungsbild
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 niederschlägt.