Подстановка $T$ имеет длину $n$. Рассматривается теорема, в которой говорится о том, что $T$ можно представить в виде произведения не пересекающихся циклов, различной (не обязательно) длины меньше $n$ таким образом, что будет справедлива сумма вида $$k+m+...+l=n$$
а в записи второй цикл сам по себе имеет длину $n$, что вижу некорректным.