theorem :: GROUP_22:72

for G being Group holds Centralizer ((Omega). G) = center G