W turnieju tenisowym uczestniczyło
graczy. Każdy rozegrał z każdym innym jeden mecz; nie było remisów. Udowodnić, że istnieje taki gracz
, który każdego innego gracza
pokonał bezpośrednio lub pośrednio, tzn. gracz
wygrał z
lub gracz
pokonał pewnego zawodnika
, który wygrał z tym graczem
.
Niech
będzie tym uczestnikiem turnieju, który pokonał największą liczbę przeciwników. (Jeśli kilku zawodników odniosło jednakową maksymalną liczbę zwycięstw, wybieramy któregokolwiek z nich.) Twierdzimy, że wybrany w ten sposób gracz
pokonał bezpośrednio lub pośrednio wszystkich innych zawodników.
Niech
będzie dowolnym graczem, który wygrał z
. Należy wykazać, że wśród wszystkich graczy
pokonanych przez
istnieje taki, który wygrał z
.
Przypuśćmy, że tak nie jest. Oznacza to, że zawodnik
pokonał graczy
oraz jeszcze gracza
— miałby więc na swoim koncie więcej zwycięstw niż zawodnik
.
To jednak nie jest możliwe, skoro literą
został oznaczony ten zawodnik, który odniósł najwięcej zwycięstw. Uzyskana sprzeczność kończy dowód.