Legyen $p$ prímszám, $k$ pozitív egész, és legyen $\text{A}$ egész számokból álló, legalább $p^k$-elemű véges halmaz. Jelölje $N_{\text{páros}}$ az $\text{A}$ olyan, páros elemszámú részhalmazainak számát, amelyekben az elemek összege osztható $p^k$-nal. Hasonlóan, jelölje $N_{\text{páratlan}}$ az $\text{A}$ olyan, páratlan elemszámú részhalmazainak számát, amelyekben az elemek összege osztható $p^k$-nal. Mutassuk meg, hogy $N_{\text{páros}}\equiv N_{\text{páratlan}}\left(\text{mod}p\right)$.