<i>n</i> objektu <i>m</i> kutxetan sartzen badira, <i>n>m</i> izanik, kutxa batean gutxienez bi objektu daudela ezartzen duen konbinatoria teorema.