Every Permutation Can be Written as a Product of Disjoint Cycles

Theorem

Every $\sigma \in S_n$ can be written as a product of disjoint Permutation Cycles