4⇒1を示すのに、まずは点aにおける正則性がaにおける解析性（冪級数表現を持つこと）と同値であったことを想起しよう。
为了证明iv)⇒i)，我们首先回忆到一个函数在a的全纯性等价于解析，即有一个幂级数表示。