Si bien aparentemente abstracto, el Teorema del Alma demuestra que toda variedad de Riemann completa yno compacta con curvatura seccional no negativa contiene una subvariedad compacta totalmente convexa, y estas subvariedades se denominan almas dela variedad.