Chọn bộ 13 số sau:
1,11,...111111 (13 chữ số 1)
Đem chia 13 số trên cho 12.
Theo nguyên lý Diricle thì tồn tại 2 số trong 14 số trên có cùng số dư khi đem chia cho 13. Ta gọi 2 số đó là 111..111 (m chữ số 2) và 111.111 (n chữ số 2) m,n trong khoảng 1 đến 13
Không mất tính tổng quát, giả sử m>n.
Do 2 số trên có cùng số dư khi chia 12 nên
[111.111 (m chữ số 2) - 111.111 (n chữ số 2)] chia hết cho 12
=>111.11100...000 (m-n chữ số 2; n chữ số 0) chia hết cho 12
hay 111.111(m-n chữ số 2).10^n chia hết cho 12
=>111.111 (m-n chữ số 2) chia hết cho 12
=> đpcm.