theorem :: GROUP_24:111

center (Dihedral_group 1) = Dihedral_group 1 by ThD1Commutative, GROUP_5:82;