Es sei M {\displaystyle {}M} eine differenzierbare Mannigfaltigkeit mit Rand und es sei
ein differenzierbarer Weg mit
Zeige γ ′ ( 0 ) ∈ T P ∂ M {\displaystyle {}\gamma '(0)\in T_{P}\partial M} .
![{\displaystyle \gamma \colon {]{-\epsilon },\epsilon [}\longrightarrow M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26212799f6e7c3e7c2b7807315c37ea2d044c05e)
