Доказывается локальная конечность группы, множествопорядков элементов которой равно $\{ 1,2,3,5,6 \}$.