$i=1,2,\dots,2004$ için $A_i=\{a_1,a_2,\dots, a_i\}$ ve $S_i=\sum\limits_{x\in A_i}x$ olarak tanımlayalım. Bu durumda $i\neq j$ ise $S_i\not\equiv S_j\pmod{2005}$ olmalıdır. Aksi taktirde $$|S_i-S_j|\equiv a_{j+1}+a_{j+2}+\cdots+a_i\quad \text{veya}\quad a_{i+1}+a_{i+2}+\cdots+a_j\equiv 0\pmod{2005}$$ olacaktır. Bu da hiçbir özalt kümenin elemanları toplamının $2005$'e bölünmemesi ile çelişir. $S_i$'ler aynı zamanda $2005$'e bölünmediğinden $S_1,S_2,\dots,S_{2004}$ toplamları $2005$ modunda $1,2,\dots,2004$ kalanlarını verecektir. Eğer $S=a_1+a_2+\cdots+a_{2005}$ toplamı $1,2,\dots,2004$'den birini kalan olarak veriyorsa bir tane $i$ için $S-S_i=a_{i+1}+a_{i+2}+\cdots+a_{2005}$ toplamı $2005$'e bölünecektir. Bu da bir çelişkidir. Yani $a_1+a_2+\cdots+a_{2005}$ toplamı $2005$'e bölünür.
Verilen kümeye örnek olarak elemanları $a_i=2005i+1$ olarak tanımlayabiliriz.
