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