
Sean S un conjunto de n elementos y S1,S2,…,Sk subconjuntos de S (k≥2), tales que cada uno de ellos tiene por lo menos r elementos. Demostrar que existen i y j, con 1≤i<j≤k tales que la cantidad de elementos comunes de Si y Sj es mayor o igual que r−nk4(k−1)