Corollary

Let $G$ be a solvable topological group. Then there exists a mean on $G$ which is invariant under the left and the right translations.

It is enough to apply prop. 1 to the solvable group $G \times G$ acting on $G$ by $(g.g').x = {gxg'}^{-1}$.