Der Satz über die Anzahl von Abbildungen zwischen endlichen Mengen.