D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
f = ax^2 + bxy + cy^2 を判別式 D の原始的２次形式とする。

平方剰余の相互法則を使うと Πχ_p(f) = 1 となることがわかる。
ここで p は D を割る素数全体を動く。
χ_p(f) は >>519 で定義したものである。

このことを証明しよう。