# 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.

$\blacksquare$