Trong k số nguyên liên tiếp, có một và chỉ một số chia hết cho k. Do đó, mỗi một số trong các số
1, 2,..., 2n-1, 2n
là ước của ít nhất một số trong các số
n+1, n+2,..., 2n-1, 2n
Kết quả trên dẫn đến đpcm