Comparison Theorem in Riemannian geometry

Given $p\in M$, locally, there exists a diffemorphism of $T_M$ and $B_r(p)\subset$, this is the most important geometric mapping in Riemannian geometr