Nach Fakt gibt es eine holomorphe Funktion h : G → C {\displaystyle {}h\colon G\rightarrow {\mathbb {C} }} mit
Daher besitzt
nach Fakt die geforderte Eigenschaft.