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