Es sei eine Menge von Schubfächern die verschieden ,,beschriftet`` sind, d.h. jedem Schubfach ist
entsprechend seiner Beschriftung eine Eigenschaft zugeordnet. Eine Menge mit Elementen wird
vollständig auf diese Schubfächer verteilt. Dabei muss jedes Element von in genau ein Schubfach passen.
Ist nun
, dann folgt, dass es mindestens ein Schubfach von gibt in dem
Elemente von liegen.