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