2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/68623Let $M^n$ be a complete, non-compact and $C^\infty$-smooth Riemannian manifold with nonnegative sectional curvature. Suppose $\Cal S$ is a soul of $M^n$. Then any distance non-increasing retraction $Ψ: M^n \to \Cal S$ must give rise to a $C^\infty$-smooth Riemannian submersion.Differential Geometry53C10text