theorem :: GROUP_1A:337
for G being strict addGroup holds Normalizer ((0). G) = G