Werden n+1n+1n+1 Objekte auf nnn Fächer verteilt, dann enthält mindestens ein Fach mindestens zwei Objekte.
Allgemein: Bei NNN Objekten und kkk Fächern enthält ein Fach mindestens ⌈N/k⌉\lceil N/k\rceil⌈N/k⌉ Objekte.