Геометрия и группы. Алексей Савватеев. Лекция 15.5. Заключение