theorem Th12: :: MATGRP_0:5

for G1, G2 being Group st G1,G2 are_isomorphic holds
center G1, center G2 are_isomorphic