Puede probarse que dada una curva sobre dicha esfera formula_18, su longitud viene dada: