命題
R = [1, fω] を実２次体 Q(√m) の整環とし、D をその判別式とする。
>>235 で 写像 ψ_IF : Cl+(D) → F_0(D)/Γ が
>242 で 写像 ψ_FI : F_0(D)/Γ → Cl+(D) が定義された。

(ψ_FI)(ψ_IF) = 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)は正である。

>>228 において
(αα')/N(I) = a^2/a = a
-(αβ' + βα')/N(I) = -a(2b + D)/a = -2b - D
(ββ')/N(I) = (b^2 + bD + (D^2 - D)/4)/a

よって
ψ_IF({ I }) = { (a, -2b - D, (b^2 + bD + (D^2 - D)/4)/a) }

ψ_FI({ (a, -2b - D, (b^2 + bD + (D^2 - D)/4)/a) })
= { [a, b + (D + √D)/2]δ }
ここで δ は sign(N(δ)) = sign(a) となる Q(√m) の任意の
元である。
a ＞ 0 だから δ = 1 とできる。
よって
(ψ_FI)(ψ_IF) = 1 である。
証明終