if k is the number of empty boxes if n is the number of Pigeon If n>k, then one box must have 2 or more pidgeons