Q23 Matemática  (Tournament Of Towns 1988)

Prove que de qualquer conjunto de sete números naturais (não necessariamente consecutivos) pode-se escolher três, cuja soma é divisível por três.