El conjunto $M = \{1, 2, . . . , 2n\}$ se divide en $k$ subconjuntos no intersectantes $M_1,M_2, \dots, M_k,$ donde $n \ge k^3 + k.$ Demuestra que existen números pares $2j_1, 2j_2, \dots, 2j_{k+1}$ en $M$ que están en uno y el mismo subconjunto $M_i$ $(1 \le i \le k)$ tal que los números $2j_1 - 1, 2j_2 - 1, \dots, 2j_{k+1} - 1$ también están en uno y el mismo subconjunto $M_j (1 \le j \le k).$