>>187 で (a, b, c) ∈ F(D) に R のイデアル [a, (-b + √D)/2] を
対応させる F(D) から id(R) への写像を φ_FI と書いたが、
(a, b, c) ∈ F(D) に ([a, (-b + √D)/2], sign(a)) を対応させる
F(D) から id(R) × {±} への写像を φ_FI と書くことに訂正する。
ここで sign(a) は a の符号を表す。
即ち a ＞ 0 のとき sign(a) = 1, a ＜ 0 のとき sign(a) = -1 である。

>>187 より φ_FI は F(D)/Γ_∞ から id(R) × {±} への写像を
引き起こす。
従って F(D)/Γ_∞ から (id(R)/Q^*) × {±} への写像を引き起こす。
この写像を記号の濫用だが同じ φ_FI で表す。

他方、>>203 と >>207 より
id(R)/(Q^*) × {±1} から F(D)/Γ_∞ への写像 φ_IF が定義された。

φ_FI と φ_IF は互いに逆写像であることをこれから示す。