Dirichlet series
任意のディリクレ級数に対して、次のいずれかが成り立つ。