Các số nguyên tố lớn hơn 3 khi chia cho 12 thì dư 11; 7; 5 hoặc là 1; Mà 5 + 7 = 1 + 11 = 12 ⋮ 12 Vậy nếu chia 4 số dư này thành 2 nhóm là (5; 7) và (1; 11) thì với ba số bất kì đang có khi chia cho 12 sẽ có số dư ∈ 1 trong 2 nhóm trên. (nguyên lí Dirichlet).
