Deje $M$ ser una variedad diferenciable de dimensión $n$, vamos a $p,q\in M$ cualquiera de los dos puntos. Tenemos que mostrar que existe una automorphism $f\in \mathrm{Diff}(M)$ con la propiedad de que $f(p)=q$.
Podría alguien ayudarme a iniciar o cualquier referencia para la lectura?
