Lösung.
Nach den Voraussetzungen gibt es einen Logarithmus
von
auf
. Dann ist
ebenfalls holomorph auf
, und es gilt