解析入門（’18）のp244 定理15.3の証明はおかしいと思う。
杉浦光夫 解析入門(Ⅱ)のp320でほぼ同じ命題の証明をしているけど、
杉浦解析入門の方と前提が異なっていて証明になっていないのではないかと思う。