ディリクレ指標
である。formula_102を乗して総和を取り、ディリクレ指標の直交性により、