Cho G là một nhóm Lie, ϕ:U→G là một ánh xạ mũ với các tính chất của Mệnh đề 3, V là một lân cận của 0 trong U sao cho ZV⊂V và ψ:V→G là một ánh xạ tiếp xúc tại 0 với ϕ sao cho ψ(nx)=ψ(x)n với mọi n∈V và mọi n∈Z. Nếu p>0, thì ψ=ϕ∣V. (Trang bị cho L(G) một chuẩn. Cho x∈V. Khi đó pnx tiến tới 0 khi n tiến tới +∞, do đó tồn tại αn>0 sao cho αn tiến tới 0 và ∥(ϕ−1∘ψ)(pnx)−pnx∥≤αn∥pnx∥. Nhưng ψ(pnx)=ψ(x)pn, do đó ∥(ϕ−1∘ψ)(x)−x∥≤αn∥x∥.)