Es sei M {\displaystyle {}M} eine differenzierbare Mannigfaltigkeit mit Rand und es sei
ein differenzierbarer Weg mit
![{\displaystyle \gamma \colon {]{-\epsilon },\epsilon [}\longrightarrow M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26212799f6e7c3e7c2b7807315c37ea2d044c05e)
.