Sean $k$ y $N$ números reales positivos que satisfacen $k\leq N$. Para $1\leq i \leq k$, existen subconjuntos $A_i$ de $\{1,2,3,\ldots,N\}$ que satisfacen la siguiente propiedad. Para un subconjunto arbitrario de $\{ i_1, i_2, \ldots , i_s \} \subset \{ 1, 2, 3, \ldots, k \} $, $A_{i_1} \triangle A_{i_2} \triangle ... \triangle A_{i_s}$ no es un conjunto vacío. Demuestra que existe un subconjunto $\{ j_1, j_2, .. ,j_t \} \subset \{ 1, 2, ... ,k \} $ que satisface $n(A_{j_1} \triangle A_{j_2} \triangle \cdots \triangle A_{j_t}) \geq k$ . ( $A \triangle B=A \cup B-A \cap B$ )