Sea $\mathfrak F$ la familia de todos los subconjuntos de $k$ elementos del conjunto $\{1, 2, \ldots, 2k + 1\}$. Demuestra que existe una función biyectiva $f :\mathfrak F \to \mathfrak F$ tal que para cada $A \in \mathfrak F$, los conjuntos $A$ y $f(A)$ son disjuntos.