Пусть

-- симметрическая группа перестановок над

. Для её циклического индекса

справедливо рекуррентное соотношение (если считать, что

:

Утверждается, что это следует из следующего соотношения:

Помогите понять, почему оно верно?
Вроде бы это делается по определению. Элемент

может входить в цикл длины

в произведении циклов подстановки, и, видимо, по этому

и ведётся суммирование.