(Omega). G is normal Subgroup of G by GROUP_3:137;
hence [.((Omega). G),((Omega). G).] is strict normal Subgroup of G by Th77; :: thesis: verum