theorem :: GROUP_24:113

for n being odd Nat st n > 1 holds
center (Dihedral_group n) is trivial