Các số nguyên tố lớn hơn 3 khi chia cho 12 thì dư 11; 7; 5 hoặc 1; mà 5 + 7 = 1 + 11 = 12 chia hết cho 12
nên 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ư thuộc 1 trong 2 nhóm trên. (nguyên lí Dirichlet)