Xét 2003 số có dạng 2004, 20042004, 200420042004, ..., 2004200420042004...2004 (2003 lần số 2004). TH1: Nếu có 1 số chia hết cho 2003 thì ta có đpcm. TH2: Nếu không có số nào chia hết cho 2003 thì có ít nhất 2 số có cùng số dư khi chia cho 2003. Gọi 2 số đó là \(a_i=20042004...2004\) (i lần số 2004) và \(a_j=20042004...2004\) (j lần số 2004)
\(\Rightarrow a_i-a_j=2004..200400..000\vdots 2003\) (i-j lần số 2004 và 4j lần số 0)
