Soient G un groupe de Lie, φ:U→G une application exponentielle telle que ZU⊂U et φ(rx)=φ(x)r pour tout x∈U et tout r∈Z. Si p>0, φ est un isomorphisme analytique de U sur φ(U). (Si φ(x)=φ(y), on a φ(pnx)=φ(pny) pour tout n∈N, donc x=y. Soit W un voisinage ouvert de 0 dans L(G) tel que φ−1 soit analytique dans φ(W). Pour tout s∈φ(U), il existe un n∈N et un voisinage V de s dans φ(U) tel que t∈V⇒tpn∈φ(W)).