,

,

, and for every intermediate point of the path which has conducted us from

,

to the point