Legyen $Q$ az olyan $n$ tagú sorozatok halmaza, amelyeknek minden tagja $0$ vagy $1$. Legyen $A$ a $Q$-nak egy $2^{n-1}$ elemű részhalmaza. Mutassuk meg, hogy legalább $2^{n-1}$ olyan $\left(a\mathrm{,}b\right)$ pár van, amelyre $a\in A$, $b\in Q\setminus A$, továbbá az $a$ és $b$ sorozatok csak egyetlen tagban térnek el egymástól.