theorem :: GROUP_24:107

Dihedral_group 2 is commutative