Dihedral Group is Group

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

Then $D_n$ is indeed a group.