Symmetry_Group_is_Group_v2

Let $P$ be a geometric figure. Let $S_P$ be the set of all symmetries of $P$. Let $\circ$ denote composition of mappings. The symmetry group $\struct {S_P, \circ}$ is indeed a group.