Теорема Шпернера (Верещагин, Шень. Начала теории множеств. Задача 14)

Разбираю два варианта доказательства теоремы: - топологческий (стягивание антицепи к экватору) - комбинаторный (подсчет числа максимальных сквозных цепей)