Sean $r,n$ enteros positivos. Para un conjunto $A$ , sea ${A \choose r}$ denota la familia de todos los subconjuntos de $r$ - elementos de $A$ . Demuestra que si $A$ es infinito y $f : {A \choose r} \to {1,2,...,n}$ es cualquier función, entonces existe un subconjunto infinito $B$ de $A$ tal que $f(X) = f(Y)$ para todo $X,Y \in {B \choose r}$ .