Egy n elemű halmaznak adott m részhalmaza úgy, hogy bármely két különböző részhalmaznak k-nál kevesebb közös eleme van. Bizonyítándó, hogy