Cho n là số nguyên dương lớn hơn hay bằng 2. Kí hiệu A = {1, 2, …, n}. Tập con B của tập A được gọi là 1 tập "tốt" nếu B khác rỗng và trung bình cộng của các phần tử của B là 1 số nguyên. Gọi Tn là số các tập tốt của tập A. Chứng minh rằng Tn – n là 1 số chẵn.