A0, A1, A2, ..., Ak egy 4n-elemű halmaz 2n-elemű részhalmazai. Igazoljuk, hogy közülük valamelyik kettő metszetének elemszáma legalább (1-1k)n.