If $a_{1},a_{2},\ldots,a_{{2n-1}}$ is a set of integers, then there exists a subset $a_{{i_{1}}},a_{{i_{2}}},\ldots,a_{{i_{n}}}$ of $n$ integers such that

The theorem is also known as the EGZ theorem.