Dirichlet character
が成立する。ここで、最初の積は、法 "m" に関する原始的ディリクレ指標全てにわたる積とし、二番目の積は、法 "m" に関する原始的ディリクレ指標のうち、単位指標以外のもの全てにわたる積である。