n ＞ 0 で n が偶数のとき。

n = (2^s)k の形に書ける。ここで s ≧ 0 で k は奇数である。

Πχ_p(n) = Πχ_p(2)^s Πχ_p(k) である。

過去スレの717より
D ≡ r^2 (mod 4n) となる有理整数 r が存在する。
従って、>>539 と同じ論法で
Πχ_p(k) = 1
Πχ_p(2) = 1 となる。

従って、Πχ_p(n) = 1 である。