Для отладки JavaScript в Firefox лучше всего использовать плагин Firebug - установите его, а затем нажмите F12, выберете вкладку " Консоль" скопируйте код о окошко где сверху есть кнопка "Запустить", и нажмите на эту кнопку.
Рассмотрим $m$-членный цикл $(1, 2, 3, ... m)$, он представляет собой подстановку, увеличивающую каждое кроме $m$ число на единицу, а само $m$ переводящую в единицу, если не учитывать $m$, то можно записать, что:
$x \rightarrow x + 1 (mod \; m)$ - в данной формуле использована операция получения остатка от деления.
В математике бинарное отношение $R$ на множестве $X$ называется транзитивным, если для любых трёх элементов $a, b, c \in X$ выполнение отношений $a R b$ и $b R c$ влечёт выполнение отношения $a R c$.
Формально, отношение $R$ транзитивно, если $\forall a, b, c \in X,\ a R b \land b R c \Rightarrow a R c$.