ディリクレ指標
where is the complex conjugate Dirichlet character, and if is a Dirichlet character modulo such that and are relatively prime, then