theorem :: GROUP_1A:338

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