Sea $r\geq2$ un entero positivo fijo, y sea $F$ una familia infinita de conjuntos, cada uno de tamaño $r$ , de los cuales no hay dos disjuntos. Demuestra que existe un conjunto de tamaño $r-1$ que se cruza con cada conjunto en $F$ .