==> arithmetic/subset.p <==
Prove that all sets of n integers contain a subset whose sum is divisible by n.