La integral de esta longitud da la longitud de una curva en la variedad.