theorem :: TH116
  center Dihedral_group 1 = Dihedral_group 1
    by ThD1Commutative, GROUP_5:82;
