Endliche Mengen/Surjektive Abbildungen/Siebformel/Fakt/Beweis/Aufgabe