We saw in Corollary REF , that a product of sealed groups is sealed. Thus, as semisimple groups are a quotient of a product of \(k\) -almost simple groups, see [1]},
we obtain the following theorem, which was proved by Bader-Gelander in [2]} using a different method.
[[2]}]

Let \(\)  be a connected semisimple \(k\) -group, then \(G\)  is sealed.



Let \(\)  be a connected semisimple \(k\) -group, then \(G^+\)  is sealed.
