Demuestra que el conjunto $\{1,2,....,2^n\}$ se puede particionar en dos clases, ninguna de las cuales contiene una progresión aritmética de longitud $2n$ .