Lösung.
Wir setzen
Dann ist
holomorph auf
, und es gilt
für alle
. Folglich ist
ein Logarithmus von
. Offenbar gilt
für alle
, d.h.
stimmt auf
mit
überein.
Für
gilt
denn es gilt