Adott egy egészekből álló, $\left(2^n-1\right)\times \left(2^{n+1}-1\right)$ méretű táblázat. Igazoljuk, hogy lehetséges a táblázatból $2^n-1$ oszlopot törölni úgy, hogy a megmaradó $\left(2^n-1\right)\times 2^n$-es résztáblázat minden sorában az elemek összege páros legyen.