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