>>374
さて
exp:C→C\0 普遍被覆写像
f:C→C\0 連続写像
で、Cは単連結であるから、374で述べたように
exp(h(z))=f(z)を満たすfの持ち上げhが必ず存在する

被覆だというだけでは不十分
fの定義域が単連結であることが重要