Laurent series
従って、アイゼンシュタイン級数は "s" = 1 で留数 π の極を持ち、クロネッカーの第一極限公式は、この極でのローラン級数の定数項を与える。