Ta có mệnh đề: Một số nguyên tố lơn hơn 3 phải là 1 số lẻ không chia hết cho 3. Số dư của số đó cho 12 chỉ có thể là 1, 5, 7, 11 (cái này dc dùng ko cần cm)

Chia 4 số dư thành 2 lồng

Lồng 1: dư 1 hoặc 11 khi chia 12

Lồng 2: dư 5 hoặc dư 7 khi chia 12

Đem 3 số nguyên tố chia cho 12 dc 3 số dư coi là 3 con thỏ

Theo nguyên lý Đi - rích lê thì tồn tại ít nhất 2 số dư thuộc cùng 1 nhóm

- Nếu 2 số dư bằng nhau thì hiệu của chúng chia hết cho 12

- Nếu 2 số dư khác nhau thì tổng của chung chia hết cho 12