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