[ (a, b, c) ] ∈ F_0(D)/Γ のとき
[([a, (-b + √D)/2], sign(a))] ∈ (I(R) × {±1})/P~
が代表 (a, b, c) の取り方によらないことを示す。

ここで、[ (a, b, c) ] は (a, b, c) が属す F_0(D)/Γ の類を表す。
同様に、[([a, (-b + √D)/2], sign(a))] は (I(R) × {±1})/P~ の
類を表す。

f = (a, b, c) ∈ F_0(D) のとき
Ψ(f) = [([a, (-b + √D)/2], sign(a))] ∈ (I(R) × {±1})/P~
とおく。

過去スレ４の269より
SL_2(Z) は S = (1, 1)/(0, 1) と T = (0, -1)/(1, 0) で生成される。

従って、いつものように
Ψ(fS) = Ψ(f) と Ψ(fT) = Ψ(f) を証明すればよい。

>>185 より
(a, b, c)S = (a, 2a + b, a + b + c)

よって
Ψ(fS) = [([a, -a + (-b + √D)/2], sign(a))]
= Ψ(f)