Предполагается, что все рассматриваемые подстановки принадлежат симметрической группе $\mathfrak{S}_n$, которая действует на множестве $\{1,\ ...,\ n\}$.
Доказательство.