Construction of Permutations

Theorem
The ${}^n P_n$ permutations of $n$ objects can be generated algorithmically.

By Number of Permutations, that number is given by:
 * ${}^n P_n = n!$

where $n!$ denotes the factorial of $n$.

This will be demonstrated to hold.