When an integer is divided by d the possible remainders are {0, 1, 2, ..., d–1}.
The possible number of remainders is d, or .
By the Pigeonhole Principle:
objects = umber of integers = d+1
holes = number of remainders = d
So by the Pigeonhole Principle, among any group of d+1 integers there are two with exactly the same remainder when divided by d.
Comments