let G be strict Group; :: thesis: Normalizator ((Omega). G) = G
(Omega). G is normal Subgroup of G by Th137;
hence Normalizator ((Omega). G) = G by Th163; :: thesis: verum