If you have n boxes and n+1 things, then it is guaranteed that one box has more than one thing.