On a combinatorial problem of Erdős, Ginzburg, and Ziv (Q1228616)

The following theorem is proved. If \(g_1,\ldots,g_{2n-1}\) is a sequence of \(2n-1\) elements in a finite group of order \(n\) (written additively), then there are \(n\) distinct indices \(i_1,\ldots,i_n\) such that \(g_{i_1}+ \ldots + g_{i_n} = 0\). So far the theorem was known only for finite solvable groups.