theorem :: GROUP_24:117

for n being non zero even Nat st n > 2 holds
INT.Group 2, center (Dihedral_group n) are_isomorphic