Suponga que $\mathcal F\subseteq p(X)$ y $|X|=n$ . Demuestre que si $|\mathcal F|>\sum_{i=0}^{k-1}\dbinom{n}{i}$ entonces existe $Y\subseteq X$ con $|Y|=k$ tal que $p(Y)=\mathcal F\cap Y$ tal que $\mathcal F\cap Y=\{F\cap Y:F\in \mathcal F\}$