The injectivity radius of Lie manifolds

We prove in a direct, geometric way that for any compatible Riemannian metric on a Lie manifold the injectivity radius is positive