Symmetry Group is Group

Theorem
The set of all symmetries of a given figure form a group under composition.

Proof
As a symmetry is a bijection, we can use the result Group of Permutations.