(1) の形式について証明する。(2) の形式については、(1) の形式を に対して適用すれば即時に出る。
証明を次の2段階に分ける。
第1段階 を の零点の集積点の1つとすれば、 を中心としたある正の半径 の開円板上で は恒等的に 0 である。
第2段階 第1段階で証明した の近傍における という結論を 全体に拡張する。なお、通常は解析接続の一意性の証明には一致の定理を用いるので、本定理の証明の中で解析接続の一意性を援用することは好ましくない(循環論法になる恐れがある)。
第1段階の証明
を の零点の集積点の1つとする。 は で正則であるから、 を中心として次のようにテイラー展開が可能であり、その収束半径は 0 ではない。収束半径より小さな正数 を適当に選んで、 を中心とした開円板 が に包含されるようにすることができる。この開円板を と置く。
-
もし、 が存在するなら、その中で最も添字の値が小さなものを とし、
-
と置けば、
-
となる。上記の の を中心とした テイラー展開の収束半径は と同じであり、 は で正則で、 である。 であれば であるから、 以外の の零点は の零点であり、 は の零点の集積点である。 は で連続であるから、 を十分に小さな正数とすれば、 であれば であるが、 は の零点の集積点であるから を満たす の零点 が存在するはずであるから矛盾である。
従って全ての整数 について であり、開円板 上では は恒等的に 0 である。
第2段階の証明
に包含される の零点だけから成る開集合は存在する(例えば上の証明の開円板 はこの条件を満たす)。そのような開集合全ての合併集合を と置く。当然、 であり、 は(開集合族の公理)から開集合である。(つまり、 は、 に包含される の零点だけから成る開集合の中で最大のものである)。
であることが証明できれば、 上で が成立するので、定理が証明されたことになる。これを証明するために、 と仮定し矛盾を導く。
( は の閉包の補集合)と置けば、 も開集合である。当然 (空集合)である。
と置けば、 は に含まれる の境界である。
、 、 が成り立つ。 が成り立つためには、 または でなければならない。
と仮定する。 を の任意の点とすると、 は の零点集合の集積点であり、証明の第1段階の結論からある正数 が存在して、 に含まれる開円板 内では は恒等的に 0 である。 は の境界点であるので、 は に内包されない(つまり、 は 以外の点を含む)。従って、 は の零点集合のみから成る に包含される開集合であり、 を真に包含しているので、 の最大性に反することになる。従って、 でなければならない。
かつ と仮定すると、 が成り立つことになるが、 、 は共に空集合ではない開集合であり、かつ であるので、 は連結であるという仮定に反する。
以上から、 かつ でなければならない。従って、 が成立し、 で は恒等的に 0 である。