>>513 の続き。

有理整数の集合 Z から {±1} への写像 χ_2 を

1) D' ≡ 0 (mod 8) のとき χ_2 = ψ_1
2) D' ≡ 2 (mod 8) のとき χ_2 = ψ_2
3) D' ≡ 3, 4, 7 (mod 8) のとき χ_2 = ψ_1
4) D' ≡ 6 (mod 8) のとき χ_2 = ψ_1ψ_2

で定義する。

χ_2 は D により一意に決まる。