ζ"s" が全複素平面での有理型関数に拡張できる。