theorem :: GROUP_3:139

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