Theorem 3.3.1. Permutations of everything.

The number of permutations of n distinct items is n!

Proof.

in-context