theorem :: GROUP_5:82

for G being strict Group holds
( G is commutative Group iff center G = G )