Betrachte alle b ∈ B.
Diese b bilden also die Schubladen, auf die die Elemente
von A verteilt werden sollen. Es kommen also in jede b-Schublade
die Elemente von A, die in der Urbildmenge f−1 ({b}) enthalten sind.
Da zu jedem b die Urbilder eindeutig bestimmt sind, ist damit für
jedes a∈A auch eindeutig eine Schublade bestimmt. Wären In jeder
Schublade höchstens k Elemente, sind damit höchstens
|B|*k Elemente verteilt. Also gibt es mindestens ein b in
dessen Schublade mehr als k Elemente sind.