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