命題
R = [1, fω] を実２次体 Q(√m) の整環とし、D ＞ 0 をその判別式
とする。
>>258 で 写像 ψ_QI: Q_0(D)/Γ → CL+(D) が定義された。
>260 で 写像 ψ_IQ: CL+(D) → Q_0(D)/Γ が が定義された。

(ψ_QI)(ψ_IQ) = 1 である。

証明
>>207 より Cl+(D) の代表として原始イデアル I が取れる。
>>210 より I = [a, b + (D + √D)/2] と書ける。
ここで a ＞ 0, 0 ≦ b ＜ a

α = a
β = b + (D + √D)/2 とおく。
-Δ(α, β) = a√D だから I の基底 α, β の向き(>>188)は正である。

β/α = (2b + D + √D)/2a

よって
ψ_IQ({ I }) = { (2b + D + √D)/2a })

a ＞ 0 だから
ψ_QI({ (2b + D + √D)/2a })) = { [a, b + (D + √D)/2] }

よって
(ψ_QI)(ψ_IQ) = 1 である。
証明終