Legyen $\text{F}$ véges halmazokból álló, véges halmazrendszer, és legyen $A$ tetszőleges véges halmaz. Azt mondjuk, hogy $\text{F}$ szétzúzza az $A$ halmazt, ha tetszőleges $X\subseteq A$-hoz létezik olyan $F\in \text{F}$, amire $A\cap F=X$. Igazoljuk, hogy az $\text{F}$ legalább $|\text{F}|$ halmazt szétzúz.