Die Elemente aus N {\displaystyle {}N} seien mit 1 , 2 , … , n {\displaystyle {}1,2,\ldots ,n} bezeichnet. Zu jedem i ∈ N {\displaystyle {}i\in N} sei
und
die Anzahl der Elemente aus M {\displaystyle {}M} , die auf i {\displaystyle {}i} abgebildet werden (was 0 {\displaystyle {}0} sein kann). Da
gelten soll, muss s ( i ) ∈ M i {\displaystyle {}s(i)\in M_{i}} für jedes i {\displaystyle {}i} gelten. Somit gibt es