Sean $n,k$ enteros mayores que $1$, $n<2^k$. Demuestra que existen $2k$ enteros ninguno de los cuales es divisible por $n$, tal que no importa cómo se separen en dos grupos, existen algunos números todos del mismo grupo cuya suma es divisible por $n$.