Composition of Symmetries is Associative

Theorem
Let $P$ be a geometric figure.

Let $S_P$ be the set of all symmetries of $P$.

Let $\circ$ denote composition of mappings.

Let $\phi, \psi, \chi$ be symmetries of $P$.

Then:
 * $\left({\phi \circ \psi}\right) \circ \chi = \phi \circ \left({\psi \circ \chi}\right)$

That is, composition of symmetries is associative.

Proof
From Composition of Symmetries is Symmetry:
 * $\left({\phi \circ \psi}\right) \circ \chi$ is a symmetry

and:
 * $\phi \circ \left({\psi \circ \chi}\right)$ is a symmetry.

It follows from Composition of Mappings is Associative that:
 * $\left({\phi \circ \psi}\right) \circ \chi = \phi \circ \left({\psi \circ \chi}\right)$