Dihedral Group is Group

Theorem
Let $D_n$ be the dihedral group of order $2 n$.

Then $D_n$ is indeed a group.

Proof
$D_n$ is by definition the symmetry group of the regular $n$-gon.

The result follows from Symmetry Group is Group.