Bài 3
Tìm mọi số nguyên dương sao cho với mọi số nguyên , tồn tại số nguyên để chia hết cho .
Bước 1 trên 4: Các lũy thừa của ba thỏa mãn
Phân tích chi tiết
Với môđun là lũy thừa dương của ba, giả sử hai giá trị trùng nhau. Phân tích trong công thức đúng, và thừa số thứ hai không bao giờ chia hết cho ba, như kiểm tra trực tiếp theo môđun ba. Suy ra a và b đồng dư; ánh xạ là đơn ánh trên hệ thặng dư hữu hạn nên là toàn ánh. Môđun một cũng thỏa mãn.