Sea $N$ un entero mayor que $1$ y sea $T_n$ el número de subconjuntos no vacíos $S$ de $\{1,2,.....,n\}$ con la propiedad de que el promedio de los elementos de $S$ es un entero. Pruebe que $T_n - n$ es siempre par.