Геометрия и группы. Алексей Савватеев. Лекция 3.4. Завершение доказательства теоремы