>>251 と >>252 より D ＞ 0 のとき
F_0(D)/Γ と Cl+(D) は集合として同型である。