Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Weg/Teilliftbarkeit/Fakt

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei. Es sei ein Intervall,

ein differenzierbarer Weg, ein Punkt und ein Punkt in der Faser über .

Dann gibt es ein offenes Teilintervall , , und eine horizontale Liftung

mit .