Gut: Jetzt einfach interpretieren.
A_(n,k) ist die Anzahl der Abbildungen, die genau k Bildelemente haben.
(n tief k) * A_(n,k) ist die Anzahl der Abbildungen, die genau k Bildelemente haben und auf k beliebige Elemente von N abgebildet werden.
Die Anzahl aller Abbildungen von M nach N kannst du nun zählen, als Summe der Abbildungen, die genau genau k Bildelemente in N haben.
Nun Resultat bei a) im Link verwenden und
q.e.d. hinschreiben.