Отсутствие дискретных групп отражений с некомпактным фундаментальным многогранником конечного объема в пространстве Лобачевского большой размерности

В работе доказывается следующая теорема: не существует дискретных групп, порожденных отражениями, с фундаментальным многогранником конечного объема в пространстве Лобачевского размерности $995$.
Библиография: 8 названий.