Riemannsche Flächen/Holomorphe endliche Abbildung/Differentialform/Wegintegral/Spur/Fakt

Es sei eine endliche holomorphe Abbildung mit der Blätterzahl zwischen den riemannschen Flächen und . Es sei eine holomorphe Differentialform auf und ein stetiger Weg in . Es seien Liftungen von nach , die außerhalb der Verzweigungspunkte die möglichen Liftungen abdecken.

Dann ist