Bài 1
Tìm tất cả các tập hữu hạn khác rỗng gồm các số nguyên dương thỏa mãn với mọi .
Bước 4 trên 4: Kiểm tra tập duy nhất
Phân tích chi tiết
Các mâu thuẫn trên cho thấy không thể có phần tử nào ngoài . Tập thỏa điều kiện vì , nên đây là nghiệm duy nhất.