Геометрия и группы. Алексей Савватеев. Лекция 9.4. Классификация движений сферы: доказательство