Erdős–Ginzburg–Ziv Theorem
The Erdős–Ginzburg–Ziv Theorem states that for any set of 2n - 1 integers, it is always possible to find n integers whose sum is divisible by n. This theorem highlights a fascinating property of integers and their sums, showing that even with a limited number of integers, certain combinations will yield specific divisibility results.
This theorem was independently proven by mathematicians Paul Erdős, A. G. Ginzburg, and Ziv in the 20th century. It has implications in various areas of mathematics, including combinatorics and number theory, and serves as a foundational result in understanding how integers can be grouped and summed.