Symmetric Group is Group/Proof 2

Proof
A direct application of Invertible Mappings form Group of Permutations.