Holomorphe Differentialform/C/Wegintegral/Integralüberlagerung/Fakt/Beweis

Beweis

Es ist kompakt und daher gibt es eine endliche Überdeckung mit offenen Bällen , auf denen eine Stammform besitzt, und Unterteilungspunkte

derart, dass

in einem offenen Ball liegt. Mit einer Stammform zu und ist nach Fakt

Die (Teil-)Liftung besitzt die Form

mit einem . Somit ist

Daher ist