TOT 186 1988 Autumn Train J3 3 from 7 with sum divisible by 3
Source:
May 20, 2020
number theorydivisibleSumdivides
Problem Statement
Prove that from any set of seven natural numbers (not necessarily consecutive) one can choose three, the sum of which is divisible by three.