Laurent-Reihe/Kreisring/Identitätssatz/Fakt/Beweis

Beweis

Nach Fakt sind beide Laurent-Reihen konvergent auf einem offenen Kreisring und wegen der Voraussetzung können wir zu einem Kreisring übergehen, wo beide konvergieren und zwar so, dass auf einer offenen Menge davon die Funktionen übereinstimmen. Wir können weiter davon ausgehen, dass die eine Laurent-Reihe die Laurent-Reihe aus Fakt ist. Nach Bemerkung können wir weiter zu einem Kreis mit Radius übergehen. Wir setzen in die dortige Formel für die nach Voraussetzung konvergente Laurent-Reihe ein und erhalten

da bei die Integrale nach Fakt gleich sind.