)また、この場合にはゼータ函数は、形式的にa-sのトレースとなる。