theorem :: GROUP_1A:337

for G being strict addGroup holds Normalizer ((0). G) = G