ディリクレ指標
where formula_20 is "the" Dirichlet character modulo 12 with formula_21,