Sea $S=\{1,2,3,...,n\}$ y sean ${A}_{1},{A}_{2},...,{A}_{m}$ subconjuntos de $S$ con $k$ elementos. Sean ${B}_{1},{B}_{2},...,{B}_{m}$ subconjuntos de $S$ con $l$ elementos. Sea ${k}+{l}\le{n}$. Si para todo ${i}\neq{j}$ se cumple que ${A}_{i}\cap{B}_{i}=\emptyset$ y ${A}_{i}\cap{B}_{j}\neq\emptyset$, demuestre que ${m}\le\binom{k+l}{k}$.