Cho A là tập hợp các số tự nhiên liên tiếp từ 1 đến 2017. Người ta có thể chọn ra tập hợp con M có nhiều nhất bao nhiêu phần tử của A, nếu biết các phần tử của M thỏa mãn tính chất: Bất kỳ hai phần tử nào của M đều có tổng của chúng không chia hết cho hiệu của nó.