Lie’s third theorem

For any finite-dimensional real Lie algebra $\mathfrak{g}$, there exists a conected, simply-connected Lie group $G$ that is unique (up to isomorphism) such that its Lie algebra $Lie(G)=\mathfrak{g}.$