Es sei
eine
rationale Funktion
in den beiden Variablen
und
und es sei
ein Polynom in
und
,
das kein Teiler des Nenners von
sei. Es sei
-

das glatte Nullstellengebilde zu
. Es sei
-
ein
differenzierbarer Weg
mit
für
und es sei
ohne Polstelle auf dem Intervall.
Dann ist
eine
holomorphe Differentialform
auf einer offenen Menge von
und
-

wobei
ist.