>>256 より g(θ) は θ の属す Q_0(D)/Γ の類できまり、
その代表元 θ の取り方によらない。

よって写像
ψ_QI: Q_0(D)/Γ → CL+(D) が定義される。