Правильно ли я понимаю, что утверждение:
Подстановка $A$ является элементом [конечного порядка] [конечной] симметрической группы $\mathfrak{S}_n$
приведённое здесь, сделано на основе этой теоремы (которую мы разбирали на лекции) ?