Let p be a prime and a1,a2,...,ak pairwise incongruent modulo p . Prove that [k−1] of the elements can be selected from ai's such that adding any numbers different from the selected ones will never give a number divisible by p . number theorycombinatorics