theorem :: GROUP_3:138

for G being strict Group holds Normalizer ((1). G) = G