Как-то я пытался строго доказывать теорему Борсука для двумерного случая методами матана конца первого - начала второго курсов. Вышло странички полторы текста. Сейчас поискал старый pdf --- не нашёл, стёр видать
Там всё вполне реально, но муторно...
Оно зачем надо? Я, конечно, могу попробовать поискать файл на старых болванках. А, может, стоит доказать для одномерного случая (там легко) и успокоиться?
