Für jede holomorphe Funktion
gilt nach der Formel für das null- und
polstellenzählende Integral
Es sei nun
gegeben und
.
Wir wenden obige Formel an auf
und
.
Wegen der Injektivität von
ist
die einzige Nullstelle von
auf
, und diese ist einfach.
Also ergibt sich