Assume you choose $1000$ different numbers from the group $\{1, 2, \dots,1997\}$.
Prove that within the $1000$ chosen numbers, there is a couple which sum is $1998$.
I defined:
- pigeonholes: possible sums.
- pigeons: the $1000$ different numbers.
Is this definition good or there is something better?