>А лемма Пуанкаре как же -- там тоже на компакте?

я ее отдельно доказываю, руками

>Т.е. по хорошему, наверное надо все же выписывать.

Учитывая, что нормальный (через симплексы)
подсчет (ко-)гомологий сферы у них уже был, я думаю, что перебьются.

Проблема в том, что на любой прямой вопрос вида "было ли у вас то-то"
они мнутся очень неуверенно, так что я даже то, что я уже рассказывал,
каждый раз повторяю. Соответственно, приходится все заново доказывать.