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

Доказывается, что в пространстве Лобачевского размерности большей или равной 30 не существует порожденных отражениями дискретных групп движений с ограниченным фундаментальным многогранником, а также арифметических дискретных групп движений, порожденных отражениями.