если у нас длина вектора не 1, то группа не является конечной - это я понял... но как отсюда вытекает цикличность не очень понятно если честно!