Геометрия и группы. Алексей Савватеев. Лекция 4.4. Конечные подгруппы в группе движений прямой