Es sei
ein
Vektorbündel
vom
Rang
über einer
differenzierbaren Mannigfaltigkeit
, das mit einem
global integrablen Zusammenhang
versehen sei. Zeige, dass es
(auf definierte)
horizontale Schnitte
in derart gibt, dass
-
ein
Isomorphismus von Vektorbündeln
ist.