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

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

>>184 より (a, b, c)T = (c, -b, a) だから
Ψ(fT) = { [c, (b + √D)/2]β }
ここで sign(N(β)) = sign(c)

I = [a, (-b + √D)/2]
J = [c, (b + √D)/2]
θ = (-b + √D)/2
とおく。

θ'I = [a(-b - √D)/2, ac]
= a[(-b - √D)/2, c]
= a[c, (b + √D)/2]
= aJ
よって
I = (a/θ')J
Iα = (a/θ')Jα = (aα/θ'β)Jβ

N(θ') = ac だから
N(aα/θ'β) = (a^2)N(α)/acN(β) = aN(α)/cN(β) ＞ 0
よって
Ψ(fT) = { Jβ } = { Iα } = Ψ(f)
証明終