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