Apply pigeonhole principle (#720)

Apply pigeonhole principle (#720)

If more objects than boxes, at least one box contains multiple objects.