Нет, это не про киевского мэра.
В общем, несколько боксёров провели однокруговой турнир. Боксёр

считается сильнее боксёра

если либо

выиграл у

, либо

выиграл у кого-то, выигрывшего у

.
Боксёр считается сильнее всех, если он сильнее каждого из остальных участников турнира.
а) Доказать, что найдётся боксёр, который сильнее всех.
б) Доказать, что боксёр, набравший не меньше очков, чем каждый из остальных, сильнее всех.