>>786 の続き。

ΣR_0(m)/m^s = PR/Q

であった。

>>782 より

Σ1/f_1(x, y)^s + . . . + Σ1/f_h(x, y)^s = Σ(2^μ)/m^s

よって

Σ1/f_1(x, y)^s + . . . + Σ1/f_h(x, y)^s = PR/Q

よって
ΣQ/f_1(x, y)^s + . . . + ΣQ/f_h(x, y)^s = PR

各 ΣQ/f_i(x, y)^s を変形する。
Q = Σ1/n^(2s) であった

よって
ΣQ/f_i(x, y)^s = Σ1/((n^2)f_i(x, y))^s = Σ1/(f_i(nx, ny))^s

ここで、両辺の和の (x, y) は、S_0(m, f_i)/U(f_i) の代表系を
動き、m は D と素な正の奇数を動く。
n は D と素な正の奇数を動く。

S_0(m, f_i) = {(x, y) ∈ Z^2 ; f_i(x, y) = m, gcd(x, y) = 1 }
である。