W pewnym zakładzie pracy każdy pracownik jest członkiem dokładnie jednego ze 100 związków zawodowych. Pracownicy mają wybrać dyrektora spośród dwóch kandydatów. Członkowie każdego ze związków umawiają się, czy wstrzymują się od głosu lub na którego z dwóch kandydatów będą głosować. Dowieść, że istnieje taki związek, że jeśli jego członkowie wstrzymają się od głosowania, a członkowie wszystkich innych związków będą głosować na któregoś z dwóch kandydatów, to kandydaci na dyrektora nie otrzymają równej liczby głosów.
Niech
będą odpowiednio liczbami członków poszczególnych związków. Możemy założyć, że pewna z liczb
(np.
) jest nieparzysta, gdyż w przeciwnym razie podzielilibyśmy wszystkie
przez maksymalną potęgę dwójki dzielącą je wszystkie. Jeżeli teraz suma
jest liczbą parzystą, to jeśli członkowie
-tego związku wstrzymają się od głosu, to liczba pozostałych głosów
będzie nieparzysta. Zatem liczby głosów oddanych na każdego kandydata nie mogą być równe. Jeśli natomiast suma
jest liczbą nieparzystą, to pewien jej składnik musi być parzysty (suma stu liczb nieparzystych jest liczbą parzystą), niech na przykład
. Jeżeli w tym przypadku członkowie
-tego związku wstrzymają się od głosu, suma
jest liczbą nieparzystą. Liczby głosów oddanych na poszczególnych kandydatów nie mogą być równe.