Composite of Permutations is Permutation

Theorem
If $$f, g$$ are permutations of the set $$S$$, then so is their composite $$g \circ f$$.

Proof
Follows from the fact that a permutation is a bijection.

The domain and range are coincident and the result follows.