Every sequence of elements of , where is prime, contains terms whose sum is zero. A proof applies the Chevalley-Warning theorem to the cardinality and two coordinate sums and then double-counts zero-sum subsequences.
New to topics? Read the docs here!