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.